let replace_term_in_literal literal old_term new_term = request_literal literal.sign (replace_term_in_term literal.atom old_term new_term)