unconditionalEdgeAssertions