code: def nonFinalisedReqs(self, reqKeys: List[Tuple[str, int]]):
          
          return {key for key in reqKeys if not self.requests.is_finalised(key)}
docs: Check if there are any requests which are not finalised, i.e for
          which there are not enough PROPAGATEs