Added new tests (mainly for constant folding)