Propagated CombiMatches are not being used when using POST KIs

[bnouwt]

The current implementation is incorrect in that the Combi Matches that should have been propagated through the reasoner are not correctly being propagated and therefore the reasoner falls back to inefficient binding set merging in the case of post KIs.