bug fix: avoid duplicate cons names