- refactor the way test dependencies are passed to the concretizer - remove global state - update tests