skolems are actually constants; handle accordingly