private double METHOD_1 ( TYPE_1 VAR_1 , TYPE_2 attribute ) { assert attribute . METHOD_2 ( ) ; double VAR_2 = ( info ( VAR_1 ) ) - ( info ( VAR_1 , attribute ) ) ; return VAR_2 ; }
private double METHOD_1 ( TYPE_1 VAR_1 , TYPE_2 attribute ) { assert attribute . METHOD_2 ( ) ; double VAR_2 = ( info ( VAR_1 ) ) - ( info ( VAR_1 , attribute ) ) ; assert VAR_2 >= 0 ; return VAR_2 ; }