Simplify return type of FloatDomain predicates#1906

sim642 merged 7 commits intomastergoblint/analyzer:masterfrom

float-predicatesgoblint/analyzer:float-predicatesCopy head branch name to clipboard