unifyClauses