added auto iteration until the spec is realizable