Fix for theory propagated clauses