fix dead code eleminationused Multimap and thus did not consider statements where the set of livevariables was empty (so missed the most obvious cases of dead code)test case by Frotty (commit: 80120dc)