fixed the starting point bug. Now have false positive at the first assignment.