leancop: restricted backtrack changes
Matrix tests: add failing tests
Skolem Function Added