Formalise stateTrie mapping.