let replace_terms_in_literal literal map = request_literal literal.sign (replace_terms_in_term literal.atom map)