added constraint tracking to environment