Fix type propagators truthy test

[kasperl]

No description provided.

[kasperl]

Suggested change

	if (receiver_is_null) {
	// If we know the receiver is null, then we can always compute an
	// answer. If the argument is any, we don't know if the result is
	// true or false. Otherwise, the result is true if the argument
	// is null and false if the argument is non-null.
	if (argument_is_any) {
	stack->push_bool(program);
	} else {
	stack->push_bool_specific(program, argument_is_null);
	}
	ret(propagator_, stack);
	delete scope;
	return;
	}
	if (argument_is_null) {
	// The receiver isn't null, so if the argument is null we
	// know that the result is false.
	stack->push_bool_specific(program, false);
	ret(propagator_, stack);
	delete scope;
	return;
	} else if (argument_is_any) {
	// The receiver isn't null, so unless we know the argument
	// cannot be null, we must add both true and false to the
	// result but continue analyzing the method.
	stack->push_bool(program);
	ret(propagator_, stack);
	}
	if (argument_is_any) {
	stack->push_bool(program);
	ret(propagator_, stack);
	if (receiver_is_null) {
	delete scope;
	return;
	}
	} else if (receiver_is_null || argument_is_null) {
	stack->push_bool_specific(program, receiver_is_null && argument_is_null);
	ret(propagator_, stack);
	delete scope;
	return;
	}

[erikcorry]

LGTM, but there's a test failure.