Rename prueba2error.html to prueba2errorSemantico.html