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