IFAV3: Increased Flexibility of ATCO Validations