SCA: fixed uninitialized map problem

Be pessimistic (assume full occupancy) when max. occupancy bound from DFA stage
is not there. Also changed some variable names and comments that I found
misleading.