srecord ExpectAfterSF(S sf, Expecter sub) extends Expecter {
  bool check(O o) {
    ret sub.check(callAndMake(sf, o));
  }
}