first attempt to solve bugs in analysis of static scenarios (in class Visualize)