FEATURE: Add annotations when assertion has passed.