Predicate memberMayBeVarSize

Holds if v is a member variable of c that looks like it might be variable sized in practice. For example:

struct myStruct { // c
  int amount;
  char data[1]; // v
};

or

struct myStruct { // c
  int amount;
  char data[]; // v
};

This requires that v is an array of size 0 or 1, or that the array has no size.