- move rest of rule functions from solver.c to rules.c