Added a test for bounds of abs
Add code to handle an undefined bound in new abs bounds reasoning.
Add test case for above.
Typo fix.
Abs of something unbounded below but bounded above should be unbounded above.
Merge branch 'master' into multi_pass_reductions