wlp pconds (Seq s1 s2) q =
  let
    (sub1, checks1) = (wlp pconds s2 q)
    (sub2, checks2) = wlp pconds s1 sub1
  in (sub2, checks1 ++ checks2)
wlp pconds (Seq s1 s2) q =
  let
    (sub1, checks1) = (wlp pconds s2 q)
    (sub2, checks2) = wlp pconds s1 sub1
  in (sub2, checks1 ++ checks2)
wlp pconds (Seq s1 s2) q =
  let
    (sub1, checks1) = (wlp pconds s2 q)
    (sub2, checks2) = wlp pconds s1 sub1
  in (sub2, checks1 ++ checks2)