Add a spec that proves last expression is picked for return value propagation config

Very artificial but hey, lets try to be most correct as possible.