Improve documentation of assume intrinsic.