On the quantifier-free fragment of 'Logic of effective definitions'