Add simple post-conditions to flat terminology routines.