Implementing Arrow Debreu allocation with bankruptcy Law