Is this a success?

Property definitions

mpi $ SuccessOrError :: is_success
	# Is this a success?
	fun is_success: Bool `{ return self == MPI_SUCCESS; `}
lib/mpi/mpi.nit:324,2--325,55