let insert_literal literal = if literal.literal_in_db then literal else begin let term = insert_term literal.atom in request_literal literal.sign term end