A static checker for non-determinism in source files - View it on GitHub