First debug tests for definition constraints. #36