Added a few methods to support searching for a PExp in a Sequent.