digraph traceability1 { 
requirement -> code
code -> testcode
requirement -> testcode
testcode -> code
testcode -> requirement
code -> requirement
}