Import denotation analysis