PROBCORE-552: Allow to get a (magic) trace to a valid state satisfying a predicate