+ ‘src/Apps/graphcalc/lch/graphcalc.lch’
- ‘src/Apps/graphcalc/lch/X.lch’