Graph-to-formula transformation should basically work.
Batch files to run and compile are now included for ease of access (run.bat runs on file 4.col).