added testcases for deadlock and producer-consumer with proc_kill_all. compiling and executing succesfully.