add test of invariant in findVar
add test of invariant in findVar

R=rsc
DELTA=23  (23 added, 0 deleted, 0 changed)
OCL=32592
CL=32595

webfd/go-zh,sanjosh/sanjos100-tipc,rdp/rogerpack2005-golang,scirelli/scirelli-go,webfd/go-zh,glycerine/jeaten-go-arrayof-structof,d0f/go-zh,npe9/noahevans-go9,rflanagan/reginaldflanagan-project1,Triskite/willstone-goclone,mhennings/marcohennings-go,sanjosh/sanjos100-tipc,rflanagan/reginaldflanagan-project1,sanjosh/sanjos100-tipc,webfd/go-zh,npe9/noahevans-go9,webfd/go-zh,rflanagan/reginaldflanagan-project1,scirelli/scirelli-go,d0f/go-zh,sanjosh/sanjos100-tipc,mhennings/marcohennings-go,bryanxu/go-zh,Triskite/willstone-goclone,rflanagan/reginaldflanagan-project1,d0f/go-zh,rdp/rogerpack2005-golang,rflanagan/reginaldflanagan-project1,scirelli/scirelli-go,glycerine/jeaten-go-arrayof-structof,npe9/noahevans-go9,webfd/go-zh,mhennings/marcohennings-go,Triskite/willstone-goclone,rdp/rogerpack2005-golang,sanjosh/sanjos100-tipc,Triskite/willstone-goclone,d0f/go-zh,rflanagan/reginaldflanagan-project1,npe9/noahevans-go9,bryanxu/go-zh,npe9/noahevans-go9,mhennings/marcohennings-go,Triskite/willstone-goclone,npe9/noahevans-go9,rdp/rogerpack2005-golang,scirelli/scirelli-go,bryanxu/go-zh,rflanagan/reginaldflanagan-project1,rdp/rogerpack2005-golang,Triskite/willstone-goclone,npe9/noahevans-go9,d0f/go-zh,mhennings/marcohennings-go,glycerine/jeaten-go-arrayof-structof,Triskite/willstone-goclone,scirelli/scirelli-go,bryanxu/go-zh,bryanxu/go-zh,sanjosh/sanjos100-tipc,glycerine/jeaten-go-arrayof-structof,webfd/go-zh,glycerine/jeaten-go-arrayof-structof,d0f/go-zh,sanjosh/sanjos100-tipc,rdp/rogerpack2005-golang,npe9/noahevans-go9,glycerine/jeaten-go-arrayof-structof,mhennings/marcohennings-go,bryanxu/go-zh,scirelli/scirelli-go,glycerine/jeaten-go-arrayof-structof,d0f/go-zh,webfd/go-zh,scirelli/scirelli-go,rflanagan/reginaldflanagan-project1,bryanxu/go-zh,rdp/rogerpack2005-golang,Triskite/willstone-goclone,mhennings/marcohennings-go,webfd/go-zh,bryanxu/go-zh,sanjosh/sanjos100-tipc,glycerine/jeaten-go-arrayof-structof,scirelli/scirelli-go,rdp/rogerpack2005-golang,d0f/go-zh,mhennings/marcohennings-go