Fix latent bug in set_is_exec_point_at