Fix assert(touched);
Improve rule printing precision;
Fix rule printing except for variable names in right-joins;