Merge UnsafeMapIterator tests
Add comments to ParametricPropertyModel
Add fine-granular check for monitor aliveness for finite parametric properties