El registro Trace simulation semantics is not finitely ba... ha sido añadido! Su cesta contiene 49 registro(s).