A three-phase workflow for general and expressive representations of nondeterminism in HPC applications. (November 2019)