let
literal_contains_term literal term =
term_contains_term literal.atom term