code: def can_pp_seq_no_be_in_view(self, view_no, pp_seq_no):
          
          if view_no > self.viewNo:
              raise PlenumValueError(
                  'view_no', view_no,
                  "<= current view_no {}".format(self.viewNo),
                  prefix=self
              )
  
          return view_no == self.viewNo or (
              view_no < self.viewNo and self.last_prepared_before_view_change and compare_3PC_keys(
                  (view_no, pp_seq_no), self.last_prepared_before_view_change) >= 0)
docs: Checks if the `pp_seq_no` could have been in view `view_no`. It will
          return False when the `pp_seq_no` belongs to a later view than
          `view_no` else will return True
          :return: