snap to grid all existing rules, axioms, derivations, graphs