Paper accepted at the tools track of SBES’24.