Add unary_constraint_satisfied (for establishing arc consistency), rename method to reflect its purpose and move it to establish a method-ordering that makes more sense.