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