17:02
<shu>
agreed that it is weird to have UC annotations in NOTEs
17:02
<shu>
let's make the analyses uniform by preventing propagation through NOTEs