Fixed bug of type checking for if expression. Added duplicated parameter declaration checking for function and procedure