More succinct constant folding
Boolean folding added
If condition folding