An Approach To Facilitating Verification Of Linear Constraints