Prevent skolem variables from escaping