Fix quirks in logrel for systemf_mu[_state] by adding different quirks

@lgaeher @mueck @bpeters

Subtraction is too hard for PL people, it is better left to pupils in a Grundschule. Therefore, we should aim to never subtract in our code. This merge request removes some spurious subtractions that were introduced due to a Coq quirk.

We also do the same in systemf_mu_state

added 1 commit

• 4c88962c - Adapted logrel for systemf_mu_state

Compare with previous version

changed title from Fix quirks in logrel for systemf_mu by adding different quirks to Fix quirks in logrel for systemf_mu[_state] by adding different quirks

changed the description

assigned to @mueck

Very neat, thank you!

mentioned in commit fbe81d19

merged