Generate Expression to call the invariant. Input: ad aggregate with the invariant vthis variable with 'this' direct call invariant directly
void expression that calls the invariant
See Implementation
Generate Expression to call the invariant. Input: ad aggregate with the invariant vthis variable with 'this' direct call invariant directly