add the bind-zero testcase for the message: 0 incompatible types flow into node void  *0
add the bind-zero testcase for the message:
0 incompatible types flow into node void  *0

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c