stmAddInvariantToCheck: add missing init of invariant->lock (#4057)