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