static LS winograd_variants(S s) {
  S a = winograd_takeFirstOption(s);
  if (eq(a, s)) ret ll(s);
  ret ll(a, winograd_takeSecondOption(s));
}