let
some_visible_out ci =
Marks
.some_visible_out (get_sig ci)