add skolem info