Rewriting: Bindings declared in parent get rewritten correctly, after a level up of a provided port or a required port
Rewriter: Replace a step by a provided port
Rewriter: Behavior gets rewritten (untested)
Rewriter: ensure that there are no name clashes, when a new name is generated
Rewriting: rewrite Step to call of Required Port
Rewriting: Fault is rewritten
Rewriting: Remove sub component implemented