The abstraction of Saif Al-Himmah to extract what is in the debtor's obligation