Now we also exclude direct top level requirements
Fixed exclusions (not sure we put it on variants in the beginning?
Removed TODO which we do not need - we will handle overrides by resolution results
Ivy import verifications also work
Improved Ivy verifications
Slight improvements on Ivy test