Add persistent flag in reconstructing InvariantViolation