private bool IsTerminatingCall(CallCmd call) { return(!IsRecursiveMoverProcedureCall(call) || civlTypeChecker.IsTerminatingProcedure(call.Proc)); }
private bool IsTerminatingCall(CallCmd call) { return(!IsRecursiveMoverProcedureCall(call) || civlTypeChecker.IsTerminatingProcedure(call.Proc)); }