completed checking of programs overlap