renamed some menu entries
add assertion checking to prob plugin. an existing error state is not displayed yet.
refactoring of enum, renamed element
get assertion checking counter example transition from prolog and update animator