Implement variables, term and hedges verification