--A new definition can be introduced to denote an identified sub-expression.
--The newly introduced definition may be a function binding
--or a simple constant binding. The new binding will be put at the end of the 
--local 'where' or 'let' clause depending on the scope of high lighted source.

--In this example: Introduce a new definition to denote 'x*5*z'
--this example aims to test the layout adjustment.

foo x=x* 5*z*w where  z=3
                      w=5  {-there is 
a comment-}
foo x=x* 5*z*w where  z=3
                      w=5  {-there is 
a comment-}
foo x=x* 5*z*w where  z=3
                      w=5  {-there is 
a comment-}