Bug 234: Types from the aspect-header in introductions
======================================================
introTargetMethod(a): a = 5!
Hallo
======================================================