non-deterministic push down automation
enable some compile options