Made SenTestCase (KIFAdditions) loadable.