strengthen the name-cheking rule for atomic function calls