add satisfy method to Constraints in metamodel

add debug in settings in jacop.scala