ENHANCED: CLP(B): Improved taut/2 when the second argument is instantiated.