Put widenings/narrowings points at each unknown.
Put widenings/narrowings points at each loop head.
Put widenings/narrowings points nowhere