Check 8 - still need to implement arithmetic while constant folding check