Updated Review design-by-contract and expanded review junit tests