(ActorMerger) Added analysis and warning to detect feedback loops in schedules
(ActorMerger) Added support for feedback edges in superactors
(C) Rename log2 functions to avoid a warning.
(Promela) Bugfix
Merge branch 'master' into dal_backend