Acomodando la forma de parseo de programas para calcular las obligaciones de prueba.