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