Skip to content

Factorize prior bound and definiteness checks

also removes useless isestimation check

Merge request reports