Make no java default compilation method
Strip impossible cases when building case trees