(addBinTickLHsExpr (BinBox CondBinBox) e1)
(addTickLHsExprOptAlt True e2)
(addTickLHsExprOptAlt True e3)
(addBinTickLHsExpr (BinBox CondBinBox) e1)
(addTickLHsExprOptAlt True e2)
(addTickLHsExprOptAlt True e3)
Nothing -> (False,noFVs,st)
Just () -> (True,noFVs,st)
Nothing -> (False,noFVs,st)
Just () -> (True,noFVs,st)