Ensure that all rabin translators are optimized with share-inf
Ensure that all rabin translators are optimized with share-inf

vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin,vbloemen/ltsmin