disabling thread choices at some field accesses