Improve reset in DefaultBindingStore
Test for correct aliveParameterMask for HasNext
Do not FSM_HasNext loop on the error state

The other FSMs do not loop either
Improve test for alive parameter masks
Improve FiniteParametricProperty
Fix bug in aliveness calculation in FiniteParametricProperty
Add 'checkNull' method to Util
Improve evaluation behaviour of DefaultNodeStore
Do not use NodeStore in ParametricMonitorLogger