Bugfix in system definition. Initial state was added to R' (type error) instead of F'.