Supplementary material for: "Efficient Static Analysis and Verification of Featured Transition Systems", submitted for publication in the special issue "Configurable Systems" of the "Empirical Software Engineering Journal" (Springer) - ter Beek, Maurice (2019)