Initial commit of the Testability Checker Extension project.