import cpp

from WhileStmt while
where while.conditionAlwaysTrueUponEntry()
select while