assert_fe_loose
assert_fe_loose(h->v);
assert_fe_loose(h->v);
assert_fe_loose(f->v);
assert_fe_loose(in1);
assert_fe_loose(in2);
assert_fe_loose(f->v);
assert_fe_loose(f->v);
assert_fe_loose(h->v);