fixed program return error from semcheck. now semcheck returns a program.