finesse 'inherit' and term overrun detection; streamlines property tests