Fix bus elimination objective implementation
Currently bus elimination objective are recognized in the transformation to SMT via comment strings. This should be changed to a more safe way or maybe the elimination objective has to be removed.
(from redmine: issue id 3359, created on 2018-03-29, closed on 2019-02-11)