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