Rational Clear Case