(Program (Return (Identifier)))