Add ConstantFoldingVisitor tests
Add more integration tests