fixed a problem that happened when same characteristic was present on
precondition and invariant