These are the modifications to the TReqS project made by AngocA