flattened terms, adapted value-property and substitution function