Add reqIF files of chapter 4 generated by Moritz script