Add assertion-passed-indicator, experimental.