commented out check_program, all files should be checked with sast_to_jast