refactored method in constraint systems