added a test case which requires parameters to be propagated into callees in the backward solver and fixed the latter to succeed in the test case