Take "circle" into consideration when analyzing path from source to dummyMain