Firehose

add new firehose semantic patches: arref, badand, badkm2, bitcall, da, double_null, doubleinit, doubletest, drop_continue, if-semicolon, if-addr, noderef, ret