Creates while statement from negated given boolean expression.