1) Improve the print_inst.
2) Make ICMP store in i1 instead of i8.