autocompletion: add parametric processes names
minimization: propery implement weak equivalence

Also it was necessary to fix Lts::visit() to manage the case where
the Lts is not connected, in order not to breach the Lts serialization
and deserialization code.
minimization: add comments