CAS Vars and integrals

[rprosperi]

If you (either, both) believe it's a bug (and it seems so) you should report it to Tim and Cyrille; you can contact them via PM here. It's a sure bet to get attention sooner if they're notified than hoping they notice and read each and every thread, looking for possible conclusions that it is indeed a bug. Many threads with innocuous titles like this one may simply be a user asking a question, confused, etc. and not likely to grab their attention.