Re-formulated overloading related assert on scopes; AbrAcAdAbrA-tested;