Add safe-values-spec to the project