testConjunctionWithUnification