Reparando código semántico