This reverts commit 0012b94a. Reverting due to test failures introduced by 73925ef8 Updated floating-point-compare.ll to keep the assume declaration.