Rational-clear-case