[racket] redex model rendered too narrow

[Jon Rafkind]

The pdf rendering of my redex model does not seem to take `where' clauses into 
account when computing the width of the pict. In a few rules this results in 
the where clause being cut off. Any idea what to do about it?
____________________
  Racket Users list:
  http://lists.racket-lang.org/users