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]);
}
}
