Characteristic predicate VirtualCall::VirtualCall

VirtualCall()