Int-elision with solver cloning fixed.