Supplementary material for our PLDI 2013 paper on dynamic determinacy analysis