Move checks out of loops more aggressively. Have analyses ignore check instructions
Move checks out of loops more aggressively. Have analyses ignore check instructions

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