We now allow the backward solver to process forward calls for finding aliases which are not produced in the current function, but in a callee.