Analyzing Function Properties