Fixed a bug in aspic.clj of the CarneadesEngine project.
Merge branch 'aspic-weakestlink' of https://github.com/carneades/carneades into aspic-weakestlink