Constructs the trivial OccConnector of a sequent.
Constructs the trivial OccConnector of a sequent.
The type of sequent.
A sequent.
An OccConnector that connects every index of sequent to itself.
Creates an OccConnector that connects all occurrences of an object in the antecedents of two sequents, and analogously for the succedents.
Guesses an OccConnector, such that each element in lowerSequent gets connected to a different element in upperSequent.