-- processUnary :: (EGVarId,EGVarId) -> (FDVar -> FDVar -> OConstraint) -> FDInstance OvertonFD ()
processUnary (v1,va) f = addFD $ f (getDefIntSpec v1) (getDefIntSpec va)
processUnary (v1,va) f = addFD $ f (getDefIntSpec v1) (getDefIntSpec va)
processUnary (v1,va) f = addFD $ f (getDefIntSpec v1) (getDefIntSpec va)