Refactor tests
Extract constraint propagation
Extract exact dependency propagation
More packages to tests