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