Finished CancellerTac application lemma.

- added RSymOk_ilfunc to ILogicFunc
tweaking the test cases to Abort rather than Admit.