public override void Visit(PredicateCall node) { _symbolTable.SetCurrentNode(node); VisitChildren(node); List <AllType> predParaTypes = _symbolTable.GetPredicateParameters(node.Name); int ChildCount = node.Children.Count(); for (int i = 0; i < ChildCount; i++) { CheckAllowedCast(node.Children[i].Type_enum, predParaTypes[i]); } }