Currently the backward ICFG cannot be used as it lacks the implementation of some required interface functions.
This PR adds this functionality by forwarding to LLVMBasedICFG.
In addition, we use explicit template instantiation to enable detecting such issues earlier.
Currently the backward ICFG cannot be used as it lacks the implementation of some required interface functions. This PR adds this functionality by forwarding to LLVMBasedICFG. In addition, we use explicit template instantiation to enable detecting such issues earlier.