Finite-Tree Analysis for Constraint Logic-Based Languages: The Complete Unabridged Version