Added tests for two Aho & Ullman algorithms