public void METHOD_1 ( ) throws java.io.IOException , TYPE_1 { VAR_1 . execute ( ) ; assertTrue ( VAR_2 . METHOD_2 ( ) ) ; java.io.FileInputStream VAR_3 = new java.io.FileInputStream ( VAR_2 ) ; try { TYPE_2 VAR_4 = VAR_3 . METHOD_3 ( ) ; java.io.BufferedReader VAR_5 = new java.io.BufferedReader ( new java.io.FileReader ( VAR_2 ) ) ; assertThat ( VAR_5 . METHOD_4 ( ) . count ( ) , METHOD_5 ( INT_1 ) ) ; } finally { VAR_3 . METHOD_6 ( ) ; } }

public void METHOD_1 ( ) throws java.io.IOException , TYPE_1 { VAR_1 . execute ( ) ; assertTrue ( VAR_2 . METHOD_2 ( ) ) ; java.io.BufferedReader VAR_5 = new java.io.BufferedReader ( new java.io.FileReader ( VAR_2 ) ) ; try { long count = VAR_5 . METHOD_4 ( ) . count ( ) ; assertThat ( count , METHOD_5 ( INT_1 ) ) ; } finally { VAR_5 . METHOD_6 ( ) ; } }
