#9 How to extend static checker

[cmetayer]

I've added some new elements to contexts and these elements require some specific checks.

How can I use the extension points "org.eventb.core.configuration" "org.eventb.core.scModuleTypes" and "org.eventb.core.scStateType".

It seems that the "configuration" mecanism is "hardcoded" and the "org.eventb.core.fwd" configuration is always used.