Rel Type Constraint solving complete