Control flow annotation seems to choke on a predecessor with "undef" incoming value, for some reason.