From SV-COMP'24 valid-memsafety: c/goblint-regression/04-mutex_46-escape_nr.c
