pProcedureCall = withAnnotation $ do
  name <- identifier
  args <- parens $ pExpression `sepBy` comma
  return $ Procedure name args
pProcedureCall = withAnnotation $ do
  name <- identifier
  args <- parens $ pExpression `sepBy` comma
  return $ Procedure name args
pProcedureCall = withAnnotation $ do
  name <- identifier
  args <- parens $ pExpression `sepBy` comma
  return $ Procedure name args