Fixing DfaTest::testMeetPointer