#heuristic in multi-shot setting

[Max Ostrowski]

In a multi-shot setting, if I want to override a heuristic [sign] setting, do I have to use externals and assumptions or what happens if I add a new heuristic value in a next step ?

Does it have any performance impact if I have an external in the heuristic statement (that is assigned to true during solving) wrt. not having this external and simply having the heuristic statement as a fact.

[Max Ostrowski]

I used the priority @p of the heuristic to override old heuristic information from the old step. I think this is a valid solution.