Class SimpleStableReasoner