Property definitions

nitc :: explain_assert $ AAssertExpr :: explain_assert_str=
	redef var explain_assert_str = null
src/frontend/explain_assert.nit:185,2--36