void METHOD_1 ( short VAR_1 , TYPE_1 VAR_2 ) { if ( ! ( VAR_3 ) ) { VAR_4 = VAR_5 ; VAR_6 = ( ( short ) ( ( VAR_7 ) + VAR_1 ) ) ; } }
void METHOD_1 ( short VAR_1 , TYPE_1 VAR_2 ) { assert VAR_1 >= 0 ; if ( ! ( VAR_3 ) ) { VAR_4 = VAR_5 ; VAR_6 = ( ( short ) ( ( VAR_7 ) + VAR_1 ) ) ; } }