# Superstring explaining `self` if the assert fails
	#
	# Engines should print out this superstring.
	fun explain_assert_str: nullable ASuperstringExpr do return null