Implement report error in execution time when acces an invalid position on array, for it only modificate in TACVisitor and haven't been added more intructions. Implement Lazzy evaluation for operand && and ||, for it modificate in TACVisitor and haven't been added more intructions, also for this issue was modified the ContPropVisitor because should be contact propagation with same approach.