fixing bug in unifying Cons