public void METHOD_1 ( double VAR_1 ) { assert ( VAR_1 >= ( - FLOAT_1 ) ) && ( ( VAR_2 ) <= FLOAT_1 ) : STRING_1 ; this . VAR_1 = VAR_1 ; } 

public void METHOD_1 ( double VAR_1 ) { assert ( VAR_1 >= ( - FLOAT_1 ) ) && ( VAR_1 <= FLOAT_1 ) : STRING_1 ; this . VAR_1 = VAR_1 ; } 
