Add deadlock non-concurrency example from Kroenig et al ASE16
Add deadlock non-concurrency example from Kroenig et al ASE16

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