Module: SuperDiff::Core::ImplementationChecks