search for longer scenarios based not only on final states but also on observed values
The current algo only consider the attributes visible at the end of the search
it should also add a mode where it adds invariant based on intermediate observed values.
This should alloy to seach for alternatives scenarios such as using corridor of different size not separated by doors. or where all the doord where already opened at the beginning