Add method isSatisfied to class Constraint