val translate : Ast.branching_command -> string -> string list