bitter.v2.finalize(unisat) != fml