Add names to the SMT assertions