Added func.spec. of pointInRect
Changed datatype invariant of rectangles, nad added precondition to insert.
changed inserttest to negative ints
added analysis document