Class SimpleSccCompleteReasoner