Static checks for a process
Current: a process (dependency chain of objectives) can be written in such a way that cyclic or redundant dependencies can exist. Redundant dependencies exist when an objective depends on itself or transitively on the same objective more than once.
Desired: cyclic or redundant processes are either marked with errors by a static checker, or are not allowed to be defined in the dependencies themselves.
(from redmine: issue id 3098, created on 2017-10-16)