ConstructCache: combined deep copy, remove missing bindings, and fact variable collection into one method
ConstructCache: combined deep copy, remove missing bindings, and fact variable collection into one method

RWTH-i5-IDSG/jamocha,RWTH-i5-IDSG/jamocha