non deterministic cfg