amiltner/DSInvariant not found