non deterministic cfgs