docs: protected boolean _hasSideEffects(XAbstractWhileExpression expression, ISideEffectContext context) {
  		context.open();
  		if (hasSideEffects(expression.getPredicate(), context)) {
  			return true;
  		}
  		if (hasSideEffects(expression.getBody(), context.branch())) {
  			return true;
  		}
  		context.close();
  		return false;
  	}