use sep. conjunction instead of conjunction for allocation lemmas

This could break some clients though it is unlikely... still, it should get a changelog entry.