Add array-returning methods `terminals` and `termHonors`