Property definitions

nitc $ AutoSuperInitVisitor :: defaultinit
private class AutoSuperInitVisitor
	super Visitor
	redef fun visit(n)
	do
		n.accept_auto_super_init(self)
		n.visit_all(self)
	end

	var has_explicit_super_init: nullable ANode = null

	# The method is broken, so avoid to display additional errors
	var is_broken = false
end
src/semantize/auto_super_init.nit:34,1--46,3