int iterations = 0;
while (iterations < UNROLL_LIMIT && condition != Value.UNKNOWN && (Boolean) condition.getValue()) {
context.evaluateExpressionStatements(tree.step);
log.debug("Status: \n{}", context);
condition = context.evaluate(tree.cond);
iterations++;
}
if (iterations >= UNROLL_LIMIT || condition == Value.UNKNOWN) {
log.debug("Abort: Condition unknown or cycles exceeded");