Fixed the return expressions from each UB helper function

- Reverted back addInstCondition to return void as originally specified
- Modified AddNW and SubNW cases