Improved selection of IVP and reporting unknown IVP in Picard demo.