is combined with the gap filler, the label equality and the argument instantiation correspond to different EPs.
there is a label equality which cannot be combined with an argument link and has to be represented by an undirected /EQ arc.