Import and re-export verifyFiniteJoin.