pre-/postconditions must be side effects free
decision table conditions should be side-effect free
Merge remote-tracking branch 'origin/master'