if the following are true:

• value at j in map map_a = block
• not (the first token in block = "for")

then map map_a does not contain a for loop entry at line: i and tab: j