nitc :: ssa $ APropdef :: _basic_block

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