Fixing non-int Y'Y and loss of evidence propagation in exec()