Fix last remaining breaking test case for skolems bug #147