let intersects _t1 _t2 =
    assert false