Improve translation of models to SMT for product-line analysis
The product-line analysis got very slow after fixing a bug in the translation of feature models.
An optimized translation only need to translate model elements with are optional or connected to optional elements.