Fully refactored implicit root to explicit.
Top level constraint test/