Add proper support for poison values
Fix edge case of propagation of undef behavior throughout a BB