Fix bug in reduce-component
Remove buggy `substitute' uses
Fix ir-convert-call