remove obstacles and boundary from ltlediting example