Finally, libworldmodel has been successfully merged into libagm