Separated out from #1433. The updated Adaptive Profile specification treats boolean computation as a form of integer computation. Specifically, branching on measurements may be allowed without ...