Cleanup of verifyAssign

reworked logic to remove redundant statements
cleaned up flow to remove duplicate code