begins compiling and debugging semcheck