public static int METHOD_1 ( ) { if ( ( VAR_1 ) != null ) { int VAR_2 = TYPE_1 . min ( ( ( int ) ( ( ( ( VAR_3 ) / INT_1 ) + ( VAR_1 . METHOD_2 ( ) ) ) * ( FLOAT_1 / ( VAR_4 ) ) ) ) , TYPE_2 . METHOD_3 ( ) ) ; VAR_2 = VAR_5 . METHOD_4 ( VAR_2 ) ; return VAR_2 ; } else { return 0 ; } }

public static int METHOD_1 ( ) { if ( ( VAR_1 ) != null ) { int VAR_2 = TYPE_1 . min ( ( ( int ) ( ( ( ( VAR_3 ) / INT_1 ) + ( VAR_1 . METHOD_2 ( ) ) ) * ( FLOAT_1 / ( VAR_4 ) ) ) ) , TYPE_2 . METHOD_3 ( ) ) ; VAR_2 = VAR_5 . METHOD_4 ( VAR_2 ) ; assert VAR_2 < ( TYPE_2 . METHOD_3 ( ) ) ; return VAR_2 ; } else { return 0 ; } }
