let
literal_contains_var literal var =
term_contains_var literal.atom var