Preserving labels of terms representing implication when introducing premises.
Preserving labels of terms representing implication when introducing
premises.

ssaavedra/why3,ssaavedra/why3,ssaavedra/why3