public override bool isSatisfiedWith(Assignment assignment) { Object value1 = assignment.getAssignment(var1); return value1 == null || !value1.Equals(assignment.getAssignment(var2)); } }