Add missing assert annotations to 02-base/60-malloc-nonrefl
Add missing assert annotations to 02-base/60-malloc-nonrefl

goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer,goblint/analyzer