The Role of Precedent in Computational Models of Law