MAJOR MILESTONE - Dec.14.2014: Very stable implementation of Symex (the
best to date).
- Most common PHP constructs are implemented
- Basic computations for arrays & objects
- Passed tests on small files and 1 system (SchoolMate)