let
is_fi_top fi =
(*let m = Fct_slice.get_top_input_mark fi in*)
fi.
T
.fi_top