\brief Check if the block that defines the normalized switch variable dominates the block containing the switch \return \b true if the switch block is dominated
source not stored for this graph (policy: none)
nothing calls this directly
no test coverage detected