Aliases

For brevity, the code in this repository and their output use shorter names compared to the names used in the paper.

ok = verified
unrec = unrecorded
meh = special-cased
bad = unverified