}
public Map<Value, LiteralValue> getValuesUsed() {
Map<Value, LiteralValue> retval = new LinkedHashMap<Value, LiteralValue>();
for (ValueCheckExport export : checkingUnit.getExports()) {
Value value = export.getValue();
if (!retval.containsKey(value)) {
retval.put(value, value.getLiteralValue());
}
}
return retval;
}