Constant-propagation figure is now extracted automatically from John's code; some...