Add transparent version of var creation
Comment where constant optimization begins
Dependency inference
Integrate inference
Add test file for inference