Analysing source with annotations works for simple range analysis