Update traceInduct and clustering#1052

jad-hamza merged 6 commits intoepfl-lara:masterepfl-lara/stainless:masterfrom

drganam:trace-ensuring-newspecsdrganam/stainless:trace-ensuring-newspecsCopy head branch name to clipboard