Unable to resolve constraint:
requires maxSet(str @ constannot.c:11:3) >= 20
needed to satisfy precondition:
requires maxSet(str @ constannot.c:11:3) >= 20
constannot.c: (in function foo3)
Unable to resolve constraint:
requires maxSet(str @ constannot.c:11:3) >= 20
needed to satisfy precondition:
requires maxSet(str @ constannot.c:11:3) >= 20
constannot.c: (in function foo3)