nitc :: VirtualMachine :: current_propdef
# The currently analyzed APropdef var current_propdef: APropdef