decidablility of SSpath... with Type error =(