let extrapolation_opt     = ref Bisim_fwd