I construct an infinite-horizon dynamic stochastic general equilibrium model with a collateral constraint and actual … taking into account the non-linear payoffs of the collateralized debt contracts and the scarcity of collateral, borrowers and … the senior tranche to the price of the junior tranche of collateral. Therefore, leverage is pro-cyclical if there is more …