suppress theories from other sessions, unless explicitly specified via mirabelle_theories;