Add determinism to libcspm