Fix the DisjointUnion locality check
Fix the locality checker, it is now correspond to FaCT++ 1.6.3