Add constraint tree + docs