Minimal state graph generation