Add pledges and test coverages for them