Constant expression correctly folded
