NPE in check_UnaryPrePosModificationExpression