This is a part of Grammars/gra_pknot_microstate.gap. At some stages of the computation Strategy B as well as Strategy C need to compute pseudoknots where all four indices are given. This computation is outsourced into this file.