public int size ( ) { <BUG> final TYPE_1 VAR_1 = this . VAR_1 ;</BUG> VAR_1 . METHOD_1 ( ) ; try { return VAR_2 . size ( ) ; } finally { VAR_1 . METHOD_2 ( ) ; } }
public int size ( ) { VAR_1 . METHOD_1 ( ) ; try { return VAR_2 . size ( ) ; } finally { VAR_1 . METHOD_2 ( ) ; } } 
