Be more helpful with EXECUTE_ASSERT output