Optimize check for synthetic states
Set constraints to null

This leaves the branches for testing the constraints to evaluate their
effect over the baseline.