Adds method to copy program
Adds variable usage extractor and phi eliminator (incomplete)