moved coverage props to edac.owl