> Does -profile-branch apply to all the profile kinds? No, but I guess it could, although I would want the default for -profile time and -profile alloc to be -profile-branch false, since that's the current behavior. The relevant code is in elaborate-core.fun if you want to play around with it.