fst'Def :: Def
fst'Def =
    Def "fst'" ["x", "q96"] (
      fresh ["a", "q97"] (
        (V "x" === C "pair" [V "a", V "q97"]) &&&
        (V "a" === V "q96"))
    )
fst'Def :: Def
fst'Def =
    Def "fst'" ["x", "q96"] (
      fresh ["a", "q97"] (
        (V "x" === C "pair" [V "a", V "q97"]) &&&
        (V "a" === V "q96"))
    )
fst'Def =
    Def "fst'" ["x", "q96"] (
      fresh ["a", "q97"] (
        (V "x" === C "pair" [V "a", V "q97"]) &&&
        (V "a" === V "q96"))
    )