let replace_vars_in_literal literal func = request_literal literal.sign (replace_vars_in_term literal.atom func)