MuJava 2.0 y fixeo de variabilizacion de guardas