[rbsmith]

Interesting. "^AI Spec" where Spec feeds into a predicate f(Spec, Version) to control printing a particular Version? Looks like you could drop the ^AE lines.

[ob]

Sounds like equivalent representations no? Limit the scope of the I lines or wrap them in D lines.