Added assume support to DiagrammedAssertions.