Fixed a large number of bugs in the generation (was not generating indistinguishable machines). It now finds an SSNI bug for BRet, will look into it more