changed function return arguments for checkDefuse
added decluse verification assertions for some test files