Add Contraction test case
Change UnifyingResolution