Skolemizer.build() fix