New package: finiteruinprob (package skeleton)