Initial work on data model for branch, path, and opcode coverage