Fixed a few bugs with floating point special value emulation in Quadruples. Moved range hash table to IR (rather than in analyzer itself). Added more inverse behaviors. Moved default behaviors and their inverses to a separate file (DefaultBehaviors). Added some support for range annotations, but this information is currently lost during compiler transformations