basquetWi + New ticket

New ticket

Sub-ticket of MARS-801 EVO-123: convert 11 UPDATE OF invariant guards to AFTER/no-column-list · mars