# The PhiFunction this block contains at the beginning
	var phi_functions = new Array[PhiFunction] is lazy