modifies semcheck