You probably want a test to prove this case doesn't false positive:

Module D includes module F
Module E includes module F
module F includes nothing