Changes in generated Contexts.h

 - Now each context has its own unique number.