Fixed bug in Recompute.java that did not allow IntConstants. TODO: Clean
up Recompute.java