checks that a value is in an interval . concode_field_sep double EPSILON_COLLINEAR concode_field_sep void assume_TS_R_preconditions concode_elem_sep void TS_R_3 concode_elem_sep boolean collinear concode_elem_sep Trajectory invoke_TS_R concode_elem_sep boolean assertion_3 concode_elem_sep boolean inRectangle concode_elem_sep void assume
boolean function ( double arg0 , double arg1 , double arg2 ) { if ( arg0 <= arg2 ) { return ( arg2 <= arg1 ) ; } else { return ( arg1 <= arg2 ) ; } }