change check_program to build the sast