(Program
(If
{ (Identifier)
->(Identifier) }
{+(Identifier)+}
{+(Elsif
(Identifier)
(Else
(Identifier)))+})
{-(If
(Identifier))-})