template bool CycleGraph::checkReachable(const ModelAction *from,
const ModelAction *to) const;
template bool CycleGraph::checkReachable(const ModelAction *from,
const Promise *to) const;
template bool CycleGraph::checkReachable(const Promise *from,
const ModelAction *to) const;
template bool CycleGraph::checkReachable(const ModelAction *from,
const ModelAction *to) const;
template bool CycleGraph::checkReachable(const ModelAction *from,
const Promise *to) const;
template bool CycleGraph::checkReachable(const Promise *from,
const ModelAction *to) const;