Theory::check() called only if there are facts to check