Add unit test for ConstantFraction; other minor changes