for I, J being Program of holds I c= stop (I ';' J)