public void METHOD_1 ( ) { int VAR_1 = VAR_2 . size ( ) ; TYPE_1 VAR_3 = new TYPE_2 ( java.lang.Integer.toString ( VAR_1 ) ) ; java.lang.String VAR_4 = STRING_1 ; main . METHOD_2 ( VAR_4 ) ; main . METHOD_3 ( VAR_5 ) ; TYPE_3 . assertEquals ( VAR_1 , VAR_2 . size ( ) ) ; TYPE_3 . assertEquals ( VAR_3 . getValue ( ) , VAR_6 . getValue ( ) ) ; }

public void METHOD_1 ( ) { int VAR_1 = VAR_2 . size ( ) ; TYPE_1 VAR_3 = new TYPE_2 ( java.lang.Integer.toString ( ( VAR_1 - 1 ) ) ) ; java.lang.String VAR_4 = STRING_1 ; main . METHOD_2 ( VAR_4 ) ; main . METHOD_3 ( VAR_5 ) ; TYPE_3 . assertEquals ( VAR_1 , VAR_2 . size ( ) ) ; TYPE_3 . assertEquals ( VAR_3 . getValue ( ) , VAR_6 . getValue ( ) ) ; }
