added script to automatically generate falsify Dang examples