QVT check and enforce is now working on kodkod
close #149 #150 #151 #152 #153 #154
Merge remote-tracking branch 'origin/master'