nitc :: ssa $ APropdef :: basic_block=

	# The first basic block of the code
	var basic_block: nullable BasicBlock