Also log transient invariant violations