let rec is_result t = match t.term_node with TLval (TResult _,_) -> true | Tat(t,_) -> is_result t | Told t -> is_result t | _ -> false