Assert-string substitution (§5.15): @@@assert matches "@@@=motif" must substitute the parameter before the pattern is compiled (phase 10). Not implemented: the literal text is matched and ASSERTION_FAILED is reported. Listed as deferred conformance work in docs/plans/PARSEUR-DIFFERENTIEL.md.
