checking first whether initval values satisfy static model for Ramsey policy