get_reason_for_literal