Add a procedure for fast equality checking of pda-term-enh
Use faster equality predicate for pda-term-enh