Given a SequentIndex for the upper sequent, this returns the list of children of that occurrence in the lower sequent (if defined).
Given a SequentIndex for the lower sequent, this returns the list of parents of that occurrence in the upper sequent (if defined).
This class models the connection of formula occurrences between two sequents in a proof.