fixed notion of redex-preserving
label PCF expressions by context of source program