Leverage Restrictions in a Business Cycle Model