at the end, we should get a program with the right sast types