WYIL: fixed backpropagation to propagate through pre/postconditions for #296