Allow to weave in models with their aspects
Published in build:
Sometimes, e.g. when models use macros from original program sources and these macros are instrumented by model aspects, it may be necessary to weave in models with their aspects. At the moment models are passed just through C back-end.