working probability queries
making IF work with rvs
working iterative deepeninign refinement
added some examples