Avoid nullptr dereferencing of 'Constraint'; NFC
Klocwork static code analysis exposed this bug:
Pointer 'SubExpr' returned from call to getSubExpr() function
which may return NULL from 'cast_or_null<Expr>(Operand)',
which will be dereferenced in the statement following it
Add an assert on SubExpr to avoid nullptr dereferencing