public double METHOD_1 ( ) { <BUG> double VAR_1 = TYPE_1 . METHOD_1 ( VAR_2 ) ;</BUG> return VAR_1 ; }
public double METHOD_1 ( ) { if ( ( VAR_1 ) == 0 ) VAR_1 = TYPE_1 . METHOD_1 ( VAR_2 ) ; return VAR_1 ; } 
