target=MyStack
search.heuristic = .heuristic.BFSHeuristic
report.console.property_violation+=,trace