Added AstNode::asInt()
Added support for DPI function with different names in C and Verilog