let some_visible_out ci = Marks.some_visible_out (get_sig ci)