public void METHOD_1 ( int VAR_1 ) { assert VAR_1 >= 0 ; if ( ! ( VAR_2 ) ) return ; TYPE_1 VAR_3 = VAR_4 ; if ( VAR_3 == null ) { TYPE_2 . METHOD_2 ( VAR_5 ) ; VAR_3 = VAR_5 ; } assert VAR_3 != null ; while ( ( VAR_3 . METHOD_3 ( ) ) > VAR_1 ) VAR_3 . METHOD_4 ( ) ; }

public void METHOD_1 ( int VAR_1 ) { assert VAR_1 >= 0 ; if ( ! ( VAR_2 ) ) return ; TYPE_1 VAR_3 = VAR_4 ; if ( VAR_3 == null ) { TYPE_2 . METHOD_2 ( VAR_5 ) ; VAR_3 = VAR_4 ; } assert VAR_3 != null ; while ( ( VAR_3 . METHOD_3 ( ) ) > VAR_1 ) VAR_3 . METHOD_4 ( ) ; }
