make_rule r returns an internal rule, that is one whose content is now a UnionFind.S indexed data structure. It is ensured that the id of the generated concrete rule is the same as the one of the abstract rule.

to_abstract r table returns a datalog abstract syntax rule where the arguments of all (datalog abstract syntax) predicates have been computed using r.content and the symbol are the one stored in table.