* Now two different simplification paths in clifford::contract_with().