anyadidas retricciones contextuales de invocacion de subprogramas
resolucion de conflictos