rework program body designation in sprout.program