An Interpreter-based Framework for Static Analysis of Variability in Space and Time accepted at SBLP’25.