1.1 --- a/deducer.py Sat Mar 25 21:58:51 2017 +0100
1.2 +++ b/deducer.py Sat Mar 25 22:00:14 2017 +0100
1.3 @@ -2908,7 +2908,10 @@
1.4 # Produce an advisory instruction regarding the context.
1.5
1.6 if context_var:
1.7 - emit(("<context_identity>", context_var))
1.8 + if context_test in ("ignore", "replace"):
1.9 + emit(("<context_identity_verified>", context_var))
1.10 + else:
1.11 + emit(("<context_identity>", context_var))
1.12
1.13 # Produce an advisory instruction regarding the final attribute.
1.14