More precise expression coverage