Faults: Added a check for hybrid edges in verifyConfiguration()