Adding all_topos_kont to innerRel.ml