manually reconstrain variables after solving an assignment