add examples related to AF-emptiness of U-PTA
Merge branch 'master' of https://github.com/etienneandre/imitator