FV
type FV
type InterestingVarFun
runFV
runFVList
runFVSet
runFVDSet
oneVar
noVars
someVars
unionFV
unionsFV
delFV
delFVs
filterFV
mapUnionFV