#137 Unknown variable within should_be_null => NullPointerException

I'm not 100% sure about falling through into `super._computeTypes(featureCall, state);`. But it looks, like Xtext can handle most of the cases pretty good now. We just have to interfere only if the choice isn't obvious (like in the new `fact "Method call with should be null"`)