rename some intermediate tokens: occurs => term-occurs, etc