began adding explicit poison propagation for division operations