rename AttributeGraph to LiberalSafetyChecker
rename AttributeGraph to LiberalSafetyChecker