Using gappa to solve float (ground) boolean constraints
Merge branch 'master' of https://github.com/kframework/k
added option to suppress warnings to float test