Property definitions

nitc $ ALoopHelper :: loop_label
	fun loop_label: nullable ANode is abstract
src/pretty.nit:1406,2--43

nitc :: pretty $ ADoExpr :: loop_label
	redef fun loop_label do return n_label
src/pretty.nit:1502,2--39

nitc :: pretty $ AWhileExpr :: loop_label
	redef fun loop_label do return n_label
src/pretty.nit:1485,2--39

nitc :: pretty $ ALoopExpr :: loop_label
	redef fun loop_label do return n_label
src/pretty.nit:1472,2--39

nitc :: pretty $ AForExpr :: loop_label
	redef fun loop_label do return n_label
src/pretty.nit:1515,2--39