Added function parameter checking to semantic analyzer