WYRT: added missing constraints to abs function.
TESTING: added yet another test case!!