Static Function Property Verification