public int METHOD_1 ( int VAR_1 ) { assert VAR_1 < INT_1 ; assert VAR_1 >= 0 ; return ( VAR_2 . get ( VAR_1 ) . VAR_3 ) - ( VAR_4 ) ; } 

public int METHOD_1 ( int VAR_1 ) { assert VAR_1 < INT_1 ; assert VAR_1 >= 0 ; return ( VAR_4 ) - ( VAR_2 . get ( VAR_1 ) . VAR_3 ) ; } 
