TextHover fix: show contract conditions in the same order as specified
in the corresponding contract class