-record(branch, {target :: list(gwr@spec:instruction())}).