Make no java default compilation method
Strip impossible cases when building case trees
Rename EFF to EFFECT (for more consistent naming rules)