Added some precondition tests
removed unneeded test.
updated repl works test.
Added test for proxy get of reduced objects