The count of catch blocs that have been encountered and can catch an abort

Property definitions

nitc $ NaiveInterpreter :: catch_count=
	# The count of `catch` blocs that have been encountered and can catch an abort
	var catch_count = 0 is writable
src/interpreter/naive_interpreter.nit:133,2--134,32