Add unit testing and finish property evaluation