show counterexample found on selected hypotheses
rise error message regarding valid constants and properties even if there is no operation available