Added tests for definitions