let equal_ff ff1 ff2 = (equal_fi ff1.T.ff_fct ff2.T.ff_fct) && 
                       ((get_ff_id ff1) = (get_ff_id ff2))