Writes case for Shift in eval_prog