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