Identifying functions by evaluating their properties