fix issue #35, change the meaning of -g, update good-test-files so they are satisfying the global constraints