make check more semantic