Remove TODO, because this feature is now handled by the raw mapping (when we use the getVisibleAllocas() method).
Remove TODO, because this feature is now handled by the raw mapping (when we use
the getVisibleAllocas() method).

seec-team/seec,mheinsen/seec,mheinsen/seec,seec-team/seec,mheinsen/seec,seec-team/seec,seec-team/seec,mheinsen/seec,seec-team/seec,mheinsen/seec