warning when cloning module containing only "val"s as abstract symbols
When cloning a module where all abstract symbols are val, like
module A0 val f () : unit end module A1 let f () = () clone A0 with val f = f end
Why3 send the warning "cloned theory .A0 does not contain any abstract symbol; it should be used instead". However, A0 does contain an abstract symbol.