AST->IR: made labels more readable
AST->IR: Also translate program (still no variables though), testable on real ASTs :D