Top level search for PExp implemented (subexpressions currently ignored)