Gabriel Scherer: Search for Program Structure. SNAPL 2017: 15:1-15:14