Debug tests for init constraints. #36