eliminateFloatsF (FNot f) varMap addError         = FNot (eliminateFloatsF f varMap addError)
eliminateFloatsF (FNot f) varMap addError         = FNot (eliminateFloatsF f varMap addError)
eliminateFloatsF (FNot f) varMap addError         = FNot (eliminateFloatsF f varMap addError)