updated alloy
running predicates with additional constraints
tests from maxClique and noClique