Reverse propagation test: f2 -> r2 -> f1.