public void METHOD_1 ( ) { java.lang.Object VAR_1 = new java.lang.Object ( ) { private TYPE_1 VAR_2 ; private java.lang.Integer VAR_3 ; } ; TYPE_2 VAR_4 = TYPE_2 . METHOD_2 ( VAR_1 ) ; try { TYPE_3 . METHOD_3 ( VAR_4 ) ; } catch ( TYPE_4 VAR_5 ) { assertEquals ( INT_1 , VAR_5 . METHOD_4 ( ) . size ( ) ) ; } }

public void METHOD_1 ( ) { java.lang.Object VAR_1 = new java.lang.Object ( ) { private TYPE_1 VAR_2 ; private java.lang.Integer VAR_3 ; } ; TYPE_2 VAR_4 = TYPE_2 . METHOD_2 ( VAR_1 ) ; try { TYPE_3 . METHOD_3 ( VAR_4 ) ; fail ( ) ; } catch ( TYPE_4 VAR_5 ) { assertEquals ( INT_1 , VAR_5 . METHOD_4 ( ) . size ( ) ) ; } }
