Added information about loop constraints