Improved trace

The order which constraints are applied and to what are important.