add constant folding spec