Added Support for AsmetaL