let rec list_of_rec_binding x acc = match x with | Ast.RbSem (_, b1, b2) -> list_of_rec_binding b1 (list_of_rec_binding b2 acc) | t -> t :: acc