Propagation details are added and compiled ok.
correctness tests fail.