Add additional test checking that the replace_unknown_lazy value is properly used on reloads, as recommended by Thomas.
Add additional test checking that the replace_unknown_lazy value is
properly used on reloads, as recommended by Thomas.

PyMamba/mamba-storm,PyMamba/mamba-storm,PyMamba/mamba-storm,petrhosek/storm,petrhosek/storm,petrhosek/storm