public void METHOD_1 ( ) { METHOD_2 ( ) ; final long VAR_1 = METHOD_2 ( ) ; final long VAR_2 = METHOD_3 ( ) ; final long VAR_3 = VAR_1 + ( VAR_4 ) ; TYPE_1 . assertTrue ( VAR_5 , ( VAR_2 >= VAR_3 ) ) ; }

public void METHOD_1 ( ) { METHOD_2 ( ) ; final long VAR_1 = METHOD_2 ( ) ; final long VAR_2 = METHOD_3 ( ) ; final long VAR_3 = VAR_1 + ( VAR_4 ) ; TYPE_1 . assertTrue ( java.lang.String.format ( VAR_5 , VAR_2 , VAR_3 ) , ( VAR_2 >= VAR_3 ) ) ; }
