More on init writes :
  + Include init write to x is co-before writes to x in pco
  + Pretty print
Tidy up initwrites.