[TESTS] Add a test for spec2def