Fixed tests, value bounds are enforced