Added assume with clue support to DiagrammedAssertions.