improved poison propogation in an inline function, added notes related to poison propogation
added a lot of poison propogation code, simplified some of what was already there