Add code to handle an undefined bound in new abs bounds reasoning.
Add test case for above.