Property definitions

nitc $ ReduceAction114 :: defaultinit
private class ReduceAction114
	super ReduceAction
	redef fun action(p: Parser)
	do
					var node_list: nullable Object = null
					var nodearraylist8 = p.pop
					var nodearraylist7 = p.pop
					var nodearraylist6 = p.pop
					var nodearraylist5 = p.pop
					var nodearraylist4 = p.pop
					var nodearraylist3 = p.pop
					var nodearraylist2 = p.pop
					var nodearraylist1 = p.pop
					var pdocnode2 = nodearraylist1
					assert pdocnode2 isa nullable ADoc
					var tkwredefnode3 = nodearraylist2
					assert tkwredefnode3 isa nullable TKwredef
					var tkwprotectednode5 = nodearraylist3
					assert tkwprotectednode5 isa nullable TKwprotected
					var pvisibilitynode4: nullable AProtectedVisibility = new AProtectedVisibility.init_aprotectedvisibility(
						tkwprotectednode5
					)
					var tkwsupernode6 = nodearraylist5
					assert tkwsupernode6 isa nullable TKwsuper
					var ptypenode7 = nodearraylist7
					assert ptypenode7 isa nullable AType
					var pannotationsnode8 = nodearraylist8
					assert pannotationsnode8 isa nullable AAnnotations
					var ppropdefnode1: nullable ASuperPropdef = new ASuperPropdef.init_asuperpropdef(
						pdocnode2,
						tkwredefnode3,
						pvisibilitynode4,
						tkwsupernode6,
						ptypenode7,
						pannotationsnode8
					)
					node_list = ppropdefnode1
					p.push(p.go_to(_goto), node_list)
	end
end
src/parser/parser.nit:6195,1--6234,3