Second version of DiagrammedAssertions that works on all types of expression, not just recognized expressions.