Extend tree-call-cdce to calls whose result is used