Fixed: Term::[Match|Unify] should fail for different size sequences.