Improved observe-value constraint
Implemented artificial terminate trace
Enabled filtering by numbers
Added filter ability to statistics and checking tab