use mutual clique information (cf. c451cf8b29c8) to make N2M more robust
use mutual clique information (cf. c451cf8b29c8) to make N2M more robust

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle