Before revision:  Former type of ILAs is known as Constant-Testable ( C-Testable ) .
After revision:  Former type of ILAs is known as Constant-Testable , i.e. C-Testable ) .