Test 1: Tests %abbrev using code from Twelf wiki
Test 2: