Для каждой строки программы определи, какие переменные читаются, какие записываются, и проанализируй все пути выполнения (из какой строки в какую может передаться управление). Вроде несложно.

Т.е, например, рассматриваем переменные a и b.

Если существует хотя бы один такой путь выполнения программы, начинающийся операцией записи/чтения переменной a и заканчивающийся операцией чтения переменной b, внутри которого нет обращений к a или b, то эти переменные оверлеить нельзя.

Если существует хотя бы один такой путь выполнения программы, начинающийся операцией записи/чтения переменной b и заканчивающийся операцией чтения переменной a, внутри которого нет обращений к a или b, то эти переменные оверлеить нельзя.

Если перебор всех возможных путей выполнения программы показал отсутствие перечисленных выше путей, то оверлеить можно.