inSynthesize :: SubseqExtractor v loc (C.Term v loc)
inSynthesize = asPathExtractor $ \case
  C.InSynthesize t -> Just t
  _                -> Nothing
inSynthesize :: SubseqExtractor v loc (C.Term v loc)
inSynthesize = asPathExtractor $ \case
  C.InSynthesize t -> Just t
  _                -> Nothing
inSynthesize = asPathExtractor $ \case
  C.InSynthesize t -> Just t
  _                -> Nothing