straight_line_program_interpreter tree tree.dot