Simplify assume() macro.