let
depth_of_term (term: term) =
depth_of_term term 0