Predicado escalonameno feito(nao testado)

basta so mandar as listas direitinhas e ja com as restrições.(em
princípio funciona)