Renamed to shorter names.
Separated equalities and inequalities in the AST.
Renaming.
Build AST in topological order.
Fixed symmetry breaking and reworked API.
Slow JoinRef port.
Renamed file.
More porting.