Fix bugs on exception trace; Add assertion on vertex value and outgoing ...