a tagging system for tracking non-determinism in Java