Implementing unification ; second step : occurence checking