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