QLS-2.0 semantic checker working