tried to analyze a slightly larger example, but it is too big already
tried to analyze a slightly larger example, but it is too big already

Old-commit-hash: 3e1af00454de058acf5ca90a5d63198a5b3aca11

inc-lc/ilc-agda