Smarter checking of dependency implying attributes