(Program
  (Minus
    (Plus
      (Identifier)
      (Times
        (Identifier)
      { (Float)
      ->(Float) }))
    (Modulo
      (Identifier)
    { (Float)
    ->(Float) })))