public override ABT.Expr GetExpr(ABT.Env env) { ABT.Expr expr = this.Expr.GetExpr(env); if (!expr.Type.IsScalar) { throw new InvalidOperationException("Expected a scalar."); } return new ABT.PostIncrement(expr); } }