It seems like our assumptions surrounding FP context variables do not allow for compatibility with spec-defined custom variables without string replacement on invariants. For example, %extension is defined for extension context, but we still only recognise %%extension... We should change this!
It seems like our assumptions surrounding FP context variables do not allow for compatibility with spec-defined custom variables without string replacement on invariants. For example, %extension is defined for extension context, but we still only recognise %%extension... We should change this!