suggest unique term normalization for lemmas and goals (#106) · Issues · pub / frama-c