Supplementary material for: "Static Analysis of Featured Transition Systems" SPLC 2019 - ter Beek, Maurice (2019)