public void METHOD_1 ( ) { if ( ( VAR_1 ) != null ) { assert ( ( type ) == ( VAR_2 ) ) || ( ( type ) == ( VAR_3 ) ) ; VAR_1 . METHOD_1 ( ) ; VAR_1 = null ; } else if ( ( VAR_4 ) != null ) { assert ( type ) == ( VAR_5 ) ; VAR_4 . METHOD_1 ( ) ; VAR_4 = null ; } }

public void METHOD_1 ( ) { if ( ( VAR_1 ) != null ) { assert ( ( type ) == ( VAR_2 ) ) || ( ( type ) == ( VAR_3 ) ) ; VAR_1 . METHOD_1 ( ) ; VAR_1 = null ; if ( ( VAR_4 ) != null ) { VAR_4 . METHOD_1 ( ) ; VAR_4 = null ; } } else if ( ( VAR_4 ) != null ) { assert ( type ) == ( VAR_5 ) ; VAR_4 . METHOD_1 ( ) ; VAR_4 = null ; } }
