removed ad-hock usable rules; added DFA