string relaxations introduced and enabled by default