Compositional reasoning gotchas in practice | IEEE Conference Publication | IEEE Xplore