engine: static validation — unreachable states & dead branches (SPEC §2)#44

fruwe merged 1 commit into

mainfruwehq/harel-python:mainfrom

engine-static-validationfruwehq/harel-python:engine-static-validationCopy head branch name to clipboard