unit test for syntactic locality checker