The forward analysis for an alias would stop at the source's index