Create cgb_check.lib: For checking the comprehensiveness and minimality of a given basis