AST in part (from previous) What does createif do? Already 'unrolls' if (a) printf("foo\n"); ------------------------ if symbol 'a' != goto iftrue == goto iffalse label iftrue call printf string_0 = "foo\n" label iffalse