• value at j in map map_a = trio ("for", line, ex)
• not (line = i)

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