public java.io.File METHOD_1 ( java.io.File VAR_1 ) { <BUG> TYPE_1 . METHOD_2 ( ( ! ( TYPE_2 . METHOD_3 ( ) ) ) ) ;</BUG> return TYPE_3 . file ( VAR_1 , STRING_1 ) ; }
public java.io.File METHOD_1 ( java.io.File VAR_1 ) { return TYPE_3 . file ( VAR_1 , STRING_1 ) ; } 
