Simplified constant_fold().