Add product-line analysis for logical architecture
For the logical architecture, there shall be an analysis for correctness with variability. For this, the generic analysis implementation from SFIT shall be intergrated.
Testing and review instructions: See #4240 (closed)
Edited by Andreas Bayha