# The PhiFunction `current_propdef` contains
	var phi_functions = new Array[PhiFunction]