Member predicate WhileStmt::conditionAlwaysTrue

Holds if the loop condition is provably true.

For example, this holds for

while(1) { ...; if(b) break; ...; }