adds record_branches as a field in DARTSTate