Added generated tests for atMostOneElementOf.