add tests for constraints and commands