class InterProceduralControlFlowDistanceCalculator extends ControlFlowDistanceCalculator {

    protected static void nonRootDistancePrechecks(MethodCall call,Branch branch){
        if (branch == null){
            throw new IllegalStateException(
                    "expect getNonRootDistance() to only be called if this goal's branch is not a root branch");
        }

        if (call == null){
            throw new NullPointerException("null given MethodCall");
        }

    }

}