EQA1650E The range of statements statement_id - statement_id is invalid because the two statements belong to different blocks.
Explanation
AT stmt1-stmt2 is valid only if stmt1 and stmt2 are in the same block.
AT stmt1-stmt2 is valid only if stmt1 and stmt2 are in the same block.