converted to use one poison check function per LLVM instruction, added support for subtraction-generated poision
added initial parts of a subtraction fuction, fixed comments