cleaned up warning messages
Added the possibility to give a witness with transient predicates relying on indexed events