diff --git a/documentation/example_report.html b/documentation/example_report.html
index c8238ccd..e3300bf5 100644
--- a/documentation/example_report.html
+++ b/documentation/example_report.html
@@ -260,17 +260,17 @@ <h3>Coverage</h3>
 </div>
 <div class="column">
 <h3>Tracing policy</h3>
-<svg width="278pt" height="188pt"
- viewBox="0.00 0.00 278.06 188.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
+<svg width="248pt" height="188pt"
+ viewBox="0.00 0.00 247.53 188.00" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink">
 <g id="graph0" class="graph" transform="scale(1 1) rotate(0) translate(4 184)">
 <title>LOBSTER Tracing Policy</title>
-<polygon fill="white" stroke="transparent" points="-4,4 -4,-184 274.06,-184 274.06,4 -4,4"/>
+<polygon fill="white" stroke="none" points="-4,4 -4,-184 243.53,-184 243.53,4 -4,4"/>
 <!-- n_419cfc02b324dc7d8faefa90ed608fb0 -->
 <g id="node1" class="node">
 <title>n_419cfc02b324dc7d8faefa90ed608fb0</title>
 <g id="a_node1"><a xlink:href="#sec-419cfc02b324dc7d8faefa90ed608fb0" xlink:title="System Requirements">
-<path fill="none" stroke="black" d="M174.5,-180C174.5,-180 23.5,-180 23.5,-180 17.5,-180 11.5,-174 11.5,-168 11.5,-168 11.5,-156 11.5,-156 11.5,-150 17.5,-144 23.5,-144 23.5,-144 174.5,-144 174.5,-144 180.5,-144 186.5,-150 186.5,-156 186.5,-156 186.5,-168 186.5,-168 186.5,-174 180.5,-180 174.5,-180"/>
-<text text-anchor="middle" x="99" y="-158.3" font-family="Times,serif" font-size="14.00">System Requirements</text>
+<path fill="none" stroke="black" d="M147,-180C147,-180 35,-180 35,-180 29,-180 23,-174 23,-168 23,-168 23,-156 23,-156 23,-150 29,-144 35,-144 35,-144 147,-144 147,-144 153,-144 159,-150 159,-156 159,-156 159,-168 159,-168 159,-174 153,-180 147,-180"/>
+<text text-anchor="middle" x="91" y="-156.95" font-family="Times,serif" font-size="14.00">System Requirements</text>
 </a>
 </g>
 </g>
@@ -278,46 +278,46 @@ <h3>Tracing policy</h3>
 <g id="node2" class="node">
 <title>n_9d273bd32c1fceb91b7d6a4d40e98bdd</title>
 <g id="a_node2"><a xlink:href="#sec-9d273bd32c1fceb91b7d6a4d40e98bdd" xlink:title="Software Requirements">
-<path fill="none" stroke="black" d="M180,-108C180,-108 18,-108 18,-108 12,-108 6,-102 6,-96 6,-96 6,-84 6,-84 6,-78 12,-72 18,-72 18,-72 180,-72 180,-72 186,-72 192,-78 192,-84 192,-84 192,-96 192,-96 192,-102 186,-108 180,-108"/>
-<text text-anchor="middle" x="99" y="-86.3" font-family="Times,serif" font-size="14.00">Software Requirements</text>
+<path fill="none" stroke="black" d="M151.12,-108C151.12,-108 30.87,-108 30.87,-108 24.87,-108 18.88,-102 18.88,-96 18.88,-96 18.88,-84 18.88,-84 18.88,-78 24.88,-72 30.88,-72 30.88,-72 151.12,-72 151.12,-72 157.12,-72 163.12,-78 163.12,-84 163.12,-84 163.12,-96 163.12,-96 163.12,-102 157.12,-108 151.12,-108"/>
+<text text-anchor="middle" x="91" y="-84.95" font-family="Times,serif" font-size="14.00">Software Requirements</text>
 </a>
 </g>
 </g>
 <!-- n_419cfc02b324dc7d8faefa90ed608fb0&#45;&gt;n_9d273bd32c1fceb91b7d6a4d40e98bdd -->
 <g id="edge1" class="edge">
 <title>n_419cfc02b324dc7d8faefa90ed608fb0&#45;&gt;n_9d273bd32c1fceb91b7d6a4d40e98bdd</title>
-<path fill="none" stroke="black" d="M99,-143.7C99,-135.98 99,-126.71 99,-118.11"/>
-<polygon fill="black" stroke="black" points="102.5,-118.1 99,-108.1 95.5,-118.1 102.5,-118.1"/>
+<path fill="none" stroke="black" d="M91,-143.7C91,-136.41 91,-127.73 91,-119.54"/>
+<polygon fill="black" stroke="black" points="94.5,-119.62 91,-109.62 87.5,-119.62 94.5,-119.62"/>
 </g>
 <!-- n_ca0dbad92a874b2f69b549293387925e -->
 <g id="node3" class="node">
 <title>n_ca0dbad92a874b2f69b549293387925e</title>
 <g id="a_node3"><a xlink:href="#sec-ca0dbad92a874b2f69b549293387925e" xlink:title="Code">
 <polygon fill="none" stroke="black" points="54,-36 0,-36 0,0 54,0 54,-36"/>
-<text text-anchor="middle" x="27" y="-14.3" font-family="Times,serif" font-size="14.00">Code</text>
+<text text-anchor="middle" x="27" y="-12.95" font-family="Times,serif" font-size="14.00">Code</text>
 </a>
 </g>
 </g>
 <!-- n_9d273bd32c1fceb91b7d6a4d40e98bdd&#45;&gt;n_ca0dbad92a874b2f69b549293387925e -->
 <g id="edge2" class="edge">
 <title>n_9d273bd32c1fceb91b7d6a4d40e98bdd&#45;&gt;n_ca0dbad92a874b2f69b549293387925e</title>
-<path fill="none" stroke="black" d="M81.2,-71.7C72.4,-63.14 61.62,-52.66 52,-43.3"/>
-<polygon fill="black" stroke="black" points="54.2,-40.57 44.59,-36.1 49.32,-45.58 54.2,-40.57"/>
+<path fill="none" stroke="black" d="M75.18,-71.7C67.66,-63.47 58.53,-53.48 50.24,-44.42"/>
+<polygon fill="black" stroke="black" points="52.99,-42.24 43.66,-37.22 47.82,-46.96 52.99,-42.24"/>
 </g>
 <!-- n_840c3e13412933b0e3f7394f4c7fecb0 -->
 <g id="node4" class="node">
 <title>n_840c3e13412933b0e3f7394f4c7fecb0</title>
 <g id="a_node4"><a xlink:href="#sec-840c3e13412933b0e3f7394f4c7fecb0" xlink:title="Verification Test">
-<polygon fill="none" stroke="black" points="270.13,-18 220.56,-36 121.44,-36 71.87,-18 121.44,0 220.56,0 270.13,-18"/>
-<text text-anchor="middle" x="171" y="-14.3" font-family="Times,serif" font-size="14.00">Verification Test</text>
+<polygon fill="none" stroke="black" points="239.53,-18 197.76,-36 114.24,-36 72.47,-18 114.24,0 197.76,0 239.53,-18"/>
+<text text-anchor="middle" x="156" y="-12.95" font-family="Times,serif" font-size="14.00">Verification Test</text>
 </a>
 </g>
 </g>
 <!-- n_9d273bd32c1fceb91b7d6a4d40e98bdd&#45;&gt;n_840c3e13412933b0e3f7394f4c7fecb0 -->
 <g id="edge3" class="edge">
 <title>n_9d273bd32c1fceb91b7d6a4d40e98bdd&#45;&gt;n_840c3e13412933b0e3f7394f4c7fecb0</title>
-<path fill="none" stroke="black" d="M116.8,-71.7C125.6,-63.14 136.38,-52.66 146,-43.3"/>
-<polygon fill="black" stroke="black" points="148.68,-45.58 153.41,-36.1 143.8,-40.57 148.68,-45.58"/>
+<path fill="none" stroke="black" d="M107.07,-71.7C114.7,-63.47 123.98,-53.48 132.4,-44.42"/>
+<polygon fill="black" stroke="black" points="134.85,-46.92 139.09,-37.21 129.72,-42.16 134.85,-46.92"/>
 </g>
 </g>
 </svg>
@@ -347,7 +347,7 @@ <h4 id="sec-419cfc02b324dc7d8faefa90ed608fb0">System Requirements</h4>
 <h5>Codebeamer https://potato.kitten, tracker 12345</h5>
 <!-- begin item req 12345 -->
 <div class="item-missing" id="item-d499f1e2ff6c8662012d4c4bfe35060a5eda7b6c">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> codebeamer Functional requirement LOBSTER demo</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> codebeamer Functional requirement LOBSTER demo</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
 <a href="https://potato.kitten/cb/issue/666" target="_blank">cb item 666 'LOBSTER demo'</a>
@@ -378,10 +378,10 @@ <h4 id="sec-9d273bd32c1fceb91b7d6a4d40e98bdd">Software Requirements</h4>
 <h5>integration-tests/projects/basic/potato.trlc</h5>
 <!-- begin item req example.req_implication -->
 <div class="item-ok" id="item-1bb1a5e571e24eebc94d2572ab385ee34e338995">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> TRLC Tagged_requirement example.req_implication</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> TRLC Tagged_requirement example.req_implication</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L3" target="_blank">integration-tests/projects/basic/potato.trlc:3</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L3" target="_blank">integration-tests/projects/basic/potato.trlc:3</a>
 </div>
 <div class="attribute">
 <blockquote>text: provide a utility function for logical implication</blockquote>
@@ -403,10 +403,10 @@ <h5>integration-tests/projects/basic/potato.trlc</h5>
 <!-- end item -->
 <!-- begin item req example.req_xor -->
 <div class="item-missing" id="item-5c0948f96e743a0c3ab3c14ecac0f5d10609f324">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> TRLC Tagged_requirement example.req_xor</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> TRLC Tagged_requirement example.req_xor</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L9" target="_blank">integration-tests/projects/basic/potato.trlc:9</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L9" target="_blank">integration-tests/projects/basic/potato.trlc:9</a>
 </div>
 <div class="attribute">
 <blockquote>text: provide a utility function for logical exclusive or</blockquote>
@@ -415,8 +415,8 @@ <h5>integration-tests/projects/basic/potato.trlc</h5>
 <div>Traces to:
 <ul>
 <li>Simulink Block <a href='#item-d330ebddaa1ec4c761ec0c070c6f6c71fd4cbb4e'>exclusive_or/My Exclusive Or</a></li>
-<li>JSON Test vector <a href='#item-6fd933a1dce6a253d02839e2e301e42603b420e6'>XOR Test 1</a></li>
-<li>JSON Test vector <a href='#item-de185e274597c7c2aeb3dde37797a29da19f6f2c'>XOR Test 2</a></li>
+<li>JSON Test vector <a href='#item-2def120304660abe06791056ae3475223a985c2b'>example.json:XOR Test 1</a></li>
+<li>JSON Test vector <a href='#item-12cafbcbb11d67c7c95f6dd4fedbb1b79620379c'>example.json:XOR Test 2</a></li>
 </ul>
 </div>
 <div>Derived from:
@@ -434,10 +434,10 @@ <h5>integration-tests/projects/basic/potato.trlc</h5>
 <!-- end item -->
 <!-- begin item req example.req_nand -->
 <div class="item-ok" id="item-3e885dd2f9f061dedab93f44634897ace7f770c8">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> TRLC Tagged_requirement example.req_nand</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> TRLC Tagged_requirement example.req_nand</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L15" target="_blank">integration-tests/projects/basic/potato.trlc:15</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L15" target="_blank">integration-tests/projects/basic/potato.trlc:15</a>
 </div>
 <div class="attribute">
 <blockquote>text: provide a utility function for logical negated and<br><br>extra_text: potato</blockquote>
@@ -460,10 +460,10 @@ <h5>integration-tests/projects/basic/potato.trlc</h5>
 <!-- end item -->
 <!-- begin item req example.req_nor -->
 <div class="item-missing" id="item-714c0c22dee57a69c9425cff0c0bd4ca9ebe5d1f">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> TRLC Requirement example.req_nor</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> TRLC Requirement example.req_nor</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L22" target="_blank">integration-tests/projects/basic/potato.trlc:22</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L22" target="_blank">integration-tests/projects/basic/potato.trlc:22</a>
 </div>
 <div class="attribute">
 <blockquote>provide a utility function for logical negated or</blockquote>
@@ -472,8 +472,8 @@ <h5>integration-tests/projects/basic/potato.trlc</h5>
 <div>Traces to:
 <ul>
 <li>TRLC Linked_requirement <a href='#item-fbfa01aa359da14836c3fe53cd7363bfb1ffb782'>example.req_important</a></li>
-<li>Python Method <a href='#item-44aca84976176f453e178bdd3323e7e9813dcebe'>nor.Example.helper_function</a></li>
-<li>Python Method <a href='#item-4fe151cfc168f08ff6bc308291ecbee34309b652'>nor.Example.nor</a></li>
+<li>Python Method <a href='#item-40f9403e943ba8922eff8382a64552eaee96b05d'>nor.Example</a></li>
+<li>Python Method <a href='#item-71acdb8dec7433006b51349a696a9e3b11a3c7d6'>nor.Example</a></li>
 </ul>
 </div>
 <div>Issues:
@@ -487,10 +487,10 @@ <h5>integration-tests/projects/basic/potato.trlc</h5>
 <!-- end item -->
 <!-- begin item req example.req_implies -->
 <div class="item-justified" id="item-21cffb8e9b92e4133844f4752a7c8100cf3166c4">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> TRLC Requirement example.req_implies</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> TRLC Requirement example.req_implies</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L27" target="_blank">integration-tests/projects/basic/potato.trlc:27</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L27" target="_blank">integration-tests/projects/basic/potato.trlc:27</a>
 </div>
 <div class="attribute">
 <blockquote>provide a utility function for logical implication</blockquote>
@@ -507,10 +507,10 @@ <h5>integration-tests/projects/basic/potato.trlc</h5>
 <!-- end item -->
 <!-- begin item req example.req_important -->
 <div class="item-partial" id="item-fbfa01aa359da14836c3fe53cd7363bfb1ffb782">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> TRLC Linked_requirement example.req_important</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> TRLC Linked_requirement example.req_important</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L39" target="_blank">integration-tests/projects/basic/potato.trlc:39</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/potato.trlc#L39" target="_blank">integration-tests/projects/basic/potato.trlc:39</a>
 </div>
 <div class="attribute">
 <blockquote>this is important</blockquote>
@@ -536,10 +536,10 @@ <h4 id="sec-ca0dbad92a874b2f69b549293387925e">Code</h4>
 <h5>integration-tests/projects/basic/exclusive_or.slx</h5>
 <!-- begin item simulink exclusive_or -->
 <div class="item-missing" id="item-f44a5e4c051c43e14dc1c71d4a3818a0b038597e">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> Simulink Block exclusive_or</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> Simulink Block exclusive_or</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/exclusive_or.slx" target="_blank">integration-tests/projects/basic/exclusive_or.slx</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/exclusive_or.slx" target="_blank">integration-tests/projects/basic/exclusive_or.slx</a>
 </div>
 <div class="attribute">
 <div>Issues:
@@ -552,10 +552,10 @@ <h5>integration-tests/projects/basic/exclusive_or.slx</h5>
 <!-- end item -->
 <!-- begin item simulink exclusive_or/My_Exclusive_Or -->
 <div class="item-ok" id="item-d330ebddaa1ec4c761ec0c070c6f6c71fd4cbb4e">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> Simulink Block exclusive_or/My Exclusive Or</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> Simulink Block exclusive_or/My Exclusive Or</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/exclusive_or.slx" target="_blank">integration-tests/projects/basic/exclusive_or.slx</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/exclusive_or.slx" target="_blank">integration-tests/projects/basic/exclusive_or.slx</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -568,10 +568,10 @@ <h5>integration-tests/projects/basic/exclusive_or.slx</h5>
 <!-- end item -->
 <!-- begin item matlab exclusive_or/MATLAB Function -->
 <div class="item-missing" id="item-abac171105982dd5a053572a6f4d88ef30fbfc42">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> MATLAB Function exclusive_or/MATLAB Function</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> MATLAB Function exclusive_or/MATLAB Function</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/exclusive_or.slx#L1" target="_blank">integration-tests/projects/basic/exclusive_or.slx:1</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/exclusive_or.slx#L1" target="_blank">integration-tests/projects/basic/exclusive_or.slx:1</a>
 </div>
 <div class="attribute">
 <div>Issues:
@@ -585,10 +585,10 @@ <h5>integration-tests/projects/basic/exclusive_or.slx</h5>
 <h5>integration-tests/projects/basic/foo.cpp</h5>
 <!-- begin item cpp foo.cpp:implication:3 -->
 <div class="item-ok" id="item-306ea2c9ccbbbc7157c8ff00b3e0381919969d52">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> C/C++ Function implication</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> C/C++ Function implication</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/foo.cpp#L3" target="_blank">integration-tests/projects/basic/foo.cpp:3</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/foo.cpp#L3" target="_blank">integration-tests/projects/basic/foo.cpp:3</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -601,10 +601,10 @@ <h5>integration-tests/projects/basic/foo.cpp</h5>
 <!-- end item -->
 <!-- begin item cpp foo.cpp:exclusive_or:9 -->
 <div class="item-missing" id="item-a59e5952bd9a2f7bb8592b7645968e08f73a9037">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> C/C++ Function exclusive_or</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> C/C++ Function exclusive_or</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/foo.cpp#L9" target="_blank">integration-tests/projects/basic/foo.cpp:9</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/foo.cpp#L9" target="_blank">integration-tests/projects/basic/foo.cpp:9</a>
 </div>
 <div class="attribute">
 <div>Issues:
@@ -617,10 +617,10 @@ <h5>integration-tests/projects/basic/foo.cpp</h5>
 <!-- end item -->
 <!-- begin item cpp foo.cpp:potato:14 -->
 <div class="item-missing" id="item-1fcf699056a4c10fafba408751855a62d76a2fc2">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-alert-triangle"><path d="M10.29 3.86L1.82 18a2 2 0 0 0 1.71 3h16.94a2 2 0 0 0 1.71-3L13.71 3.86a2 2 0 0 0-3.42 0z"></path><line x1="12" y1="9" x2="12" y2="13"></line><line x1="12" y1="17" x2="12.01" y2="17"></line></svg> C/C++ Function potato</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 520 516" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-137 -85)"><path d="M162 506 397 113 632 506Z" stroke="#000000" stroke-width="27.5" stroke-miterlimit="8" fill="#FF9900" fill-rule="evenodd"/><text font-family="Aptos,Aptos_MSFontService,sans-serif" font-weight="700" font-size="202" transform="matrix(1 0 0 1 367.145 423)">!</text></g></svg> C/C++ Function potato</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/foo.cpp#L14" target="_blank">integration-tests/projects/basic/foo.cpp:14</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/foo.cpp#L14" target="_blank">integration-tests/projects/basic/foo.cpp:14</a>
 </div>
 <div class="attribute">
 <div>Issues:
@@ -635,10 +635,10 @@ <h5>integration-tests/projects/basic/foo.cpp</h5>
 <h5>integration-tests/projects/basic/nand.m</h5>
 <!-- begin item matlab nand -->
 <div class="item-ok" id="item-05717df9b8ee784715376855d7afeabeaa6cd1f5">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> MATLAB Function nand</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> MATLAB Function nand</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/nand.m#L1" target="_blank">integration-tests/projects/basic/nand.m:1</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/nand.m#L1" target="_blank">integration-tests/projects/basic/nand.m:1</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -652,10 +652,10 @@ <h5>integration-tests/projects/basic/nand.m</h5>
 <h5>integration-tests/projects/basic/nor.py</h5>
 <!-- begin item python nor.trlc_reference -->
 <div class="item-justified" id="item-716e7482019e79473ec2b20555b90c6183ef62a2">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> Python Function nor.trlc_reference</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> Python Function nor.trlc_reference</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/nor.py#L5" target="_blank">integration-tests/projects/basic/nor.py:5</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/nor.py#L5" target="_blank">integration-tests/projects/basic/nor.py:5</a>
 </div>
 <div class="attribute">
 <div>Justifications:
@@ -666,12 +666,12 @@ <h5>integration-tests/projects/basic/nor.py</h5>
 </div>
 </div>
 <!-- end item -->
-<!-- begin item python nor.Example.helper_function -->
-<div class="item-ok" id="item-44aca84976176f453e178bdd3323e7e9813dcebe">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> Python Method nor.Example.helper_function</div>
+<!-- begin item python nor.Example -->
+<div class="item-ok" id="item-40f9403e943ba8922eff8382a64552eaee96b05d">
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> Python Method nor.Example</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/nor.py#L13" target="_blank">integration-tests/projects/basic/nor.py:13</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/nor.py#L13" target="_blank">integration-tests/projects/basic/nor.py:13</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -682,12 +682,12 @@ <h5>integration-tests/projects/basic/nor.py</h5>
 </div>
 </div>
 <!-- end item -->
-<!-- begin item python nor.Example.nor -->
-<div class="item-ok" id="item-4fe151cfc168f08ff6bc308291ecbee34309b652">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> Python Method nor.Example.nor</div>
+<!-- begin item python nor.Example-1 -->
+<div class="item-ok" id="item-71acdb8dec7433006b51349a696a9e3b11a3c7d6">
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> Python Method nor.Example</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/nor.py#L17" target="_blank">integration-tests/projects/basic/nor.py:17</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/nor.py#L17" target="_blank">integration-tests/projects/basic/nor.py:17</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -701,12 +701,12 @@ <h5>integration-tests/projects/basic/nor.py</h5>
 <h3>Verification and Validation</h3>
 <h4 id="sec-840c3e13412933b0e3f7394f4c7fecb0">Verification Test</h4>
 <h5>integration-tests/projects/basic/example.json</h5>
-<!-- begin item json XOR Test 1 -->
-<div class="item-ok" id="item-6fd933a1dce6a253d02839e2e301e42603b420e6">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> JSON Test vector XOR Test 1</div>
+<!-- begin item json example.json:XOR Test 1 -->
+<div class="item-ok" id="item-2def120304660abe06791056ae3475223a985c2b">
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> JSON Test vector example.json:XOR Test 1</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/example.json" target="_blank">integration-tests/projects/basic/example.json</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/example.json" target="_blank">integration-tests/projects/basic/example.json</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -717,12 +717,12 @@ <h5>integration-tests/projects/basic/example.json</h5>
 </div>
 </div>
 <!-- end item -->
-<!-- begin item json XOR Test 2 -->
-<div class="item-ok" id="item-de185e274597c7c2aeb3dde37797a29da19f6f2c">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> JSON Test vector XOR Test 2</div>
+<!-- begin item json example.json:XOR Test 2 -->
+<div class="item-ok" id="item-12cafbcbb11d67c7c95f6dd4fedbb1b79620379c">
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> JSON Test vector example.json:XOR Test 2</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/example.json" target="_blank">integration-tests/projects/basic/example.json</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/example.json" target="_blank">integration-tests/projects/basic/example.json</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -733,12 +733,12 @@ <h5>integration-tests/projects/basic/example.json</h5>
 </div>
 </div>
 <!-- end item -->
-<!-- begin item json Potato Test 1 -->
-<div class="item-justified" id="item-72c8c59855ab63fa99370a23ceca7132f2e8c7c1">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> JSON Test vector Potato Test 1</div>
+<!-- begin item json example.json:Potato Test 1 -->
+<div class="item-justified" id="item-6521c759f3012c6e12859502ce3a27dc8b6a2e14">
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> JSON Test vector example.json:Potato Test 1</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/example.json" target="_blank">integration-tests/projects/basic/example.json</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/example.json" target="_blank">integration-tests/projects/basic/example.json</a>
 </div>
 <div class="attribute">
 <div>Justifications:
@@ -752,10 +752,10 @@ <h5>integration-tests/projects/basic/example.json</h5>
 <h5>integration-tests/projects/basic/nand_test.m</h5>
 <!-- begin item matlab nand_test::test_1 -->
 <div class="item-ok" id="item-39288653f9b39978deae407a61549f53151857b7">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> MATLAB Test nand_test::test_1</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> MATLAB Test nand_test::test_1</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/nand_test.m#L3" target="_blank">integration-tests/projects/basic/nand_test.m:3</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/nand_test.m#L3" target="_blank">integration-tests/projects/basic/nand_test.m:3</a>
 </div>
 <div class="attribute">
 <div>Derived from:
@@ -769,10 +769,10 @@ <h5>integration-tests/projects/basic/nand_test.m</h5>
 <h5>integration-tests/projects/basic/test.cpp</h5>
 <!-- begin item gtest ImplicationTest:BasicTest -->
 <div class="item-ok" id="item-0c9dd74b464f7be6456f3d14e144ba8b116dc9b3">
-<div class="item-name"><svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-check-square"><polyline points="9 11 12 14 22 4"></polyline><path d="M21 12v7a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V5a2 2 0 0 1 2-2h11"></path></svg> GoogleTest Test ImplicationTest:BasicTest</div>
+<div class="item-name"><svg width="24" height="24" viewBox="0 0 456 461" xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" xml:space="preserve" overflow="hidden"><g transform="translate(-825 -84)"><path d="M839 310.5C839 193.139 934.811 98 1053 98 1171.19 98 1267 193.139 1267 310.5 1267 427.86 1171.19 523 1053 523 934.811 523 839 427.86 839 310.5Z" stroke="#008000" stroke-width="27.5" stroke-miterlimit="8" fill="#4EA72E" fill-rule="evenodd"/><text font-family="Segoe UI Symbol,Segoe UI Symbol_MSFontService,sans-serif" font-weight="400" font-size="202" transform="matrix(1 0 0 1 972.144 378)">✔</text></g></svg> GoogleTest Test ImplicationTest:BasicTest</div>
 <div class="attribute">Source: 
 <svg xmlns="http://www.w3.org/2000/svg" width="1em" height="1em" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round" class="feather feather-external-link"><path d="M18 13v6a2 2 0 0 1-2 2H5a2 2 0 0 1-2-2V8a2 2 0 0 1 2-2h6"></path><polyline points="15 3 21 3 21 9"></polyline><line x1="10" y1="14" x2="21" y2="3"></line></svg>
-<a href="https://github.com/bmw-software-engineering/lobster/blob/main/integration-tests/projects/basic/test.cpp#L7" target="_blank">integration-tests/projects/basic/test.cpp:7</a>
+<a href="https://github.com/christophkloeffel/lobster/blob/main/integration-tests/projects/basic/test.cpp#L7" target="_blank">integration-tests/projects/basic/test.cpp:7</a>
 </div>
 <div class="attribute">
 <div>Derived from:
diff --git a/integration-tests/projects/basic/Makefile b/integration-tests/projects/basic/Makefile
index 312ce306..908cfb6f 100644
--- a/integration-tests/projects/basic/Makefile
+++ b/integration-tests/projects/basic/Makefile
@@ -11,6 +11,7 @@ THIS_TEST_ESCAPED:=$(subst /,\\/,$(THIS_TEST))
 
 html_report.html: cppcode.lobster gtests.lobster mcode.lobster system-requirements.lobster software-requirements.lobster lobster.conf pycode.lobster json.lobster
 	@lobster-report
+	@lobster-online-report
 	@cp report.lobster report.reference_output
 	@lobster-html-report
 	@cp lobster_report.html ../../../documentation/example_report.html
diff --git a/integration-tests/projects/basic/report.reference_output b/integration-tests/projects/basic/report.reference_output
index f728f25d..38e52c42 100644
--- a/integration-tests/projects/basic/report.reference_output
+++ b/integration-tests/projects/basic/report.reference_output
@@ -47,7 +47,7 @@
           "tag": "req example.req_implication",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/potato.trlc",
             "line": 3
@@ -74,7 +74,7 @@
           "tag": "req example.req_xor",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/potato.trlc",
             "line": 9
@@ -104,7 +104,7 @@
           "tag": "req example.req_nand",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/potato.trlc",
             "line": 15
@@ -132,7 +132,7 @@
           "tag": "req example.req_nor",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/potato.trlc",
             "line": 22
@@ -148,8 +148,8 @@
           "ref_up": [],
           "ref_down": [
             "req example.req_important",
-            "python nor.Example.helper_function",
-            "python nor.Example.nor"
+            "python nor.Example",
+            "python nor.Example-1"
           ],
           "tracing_status": "MISSING",
           "framework": "TRLC",
@@ -161,7 +161,7 @@
           "tag": "req example.req_implies",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/potato.trlc",
             "line": 27
@@ -185,7 +185,7 @@
           "tag": "req example.req_important",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/potato.trlc",
             "line": 39
@@ -220,7 +220,7 @@
           "tag": "cpp foo.cpp:implication:3",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/foo.cpp",
             "line": 3
@@ -242,7 +242,7 @@
           "tag": "cpp foo.cpp:exclusive_or:9",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/foo.cpp",
             "line": 9
@@ -262,7 +262,7 @@
           "tag": "cpp foo.cpp:potato:14",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/foo.cpp",
             "line": 14
@@ -283,7 +283,7 @@
           "tag": "matlab nand",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/nand.m",
             "line": 1
@@ -305,7 +305,7 @@
           "tag": "matlab exclusive_or/MATLAB Function",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/exclusive_or.slx",
             "line": 1
@@ -325,7 +325,7 @@
           "tag": "simulink exclusive_or",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/exclusive_or.slx",
             "line": null
@@ -345,7 +345,7 @@
           "tag": "simulink exclusive_or/My_Exclusive_Or",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/exclusive_or.slx",
             "line": null
@@ -367,7 +367,7 @@
           "tag": "python nor.trlc_reference",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/nor.py",
             "line": 5
@@ -384,15 +384,15 @@
           "kind": "Function"
         },
         {
-          "tag": "python nor.Example.helper_function",
+          "tag": "python nor.Example",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/nor.py",
             "line": 13
           },
-          "name": "nor.Example.helper_function",
+          "name": "nor.Example",
           "messages": [],
           "just_up": [],
           "just_down": [],
@@ -406,15 +406,15 @@
           "kind": "Method"
         },
         {
-          "tag": "python nor.Example.nor",
+          "tag": "python nor.Example-1",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/nor.py",
             "line": 17
           },
-          "name": "nor.Example.nor",
+          "name": "nor.Example",
           "messages": [],
           "just_up": [],
           "just_down": [],
@@ -438,7 +438,7 @@
           "tag": "gtest ImplicationTest:BasicTest",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/test.cpp",
             "line": 7
@@ -461,7 +461,7 @@
           "tag": "matlab nand_test::test_1",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/nand_test.m",
             "line": 3
@@ -484,7 +484,7 @@
           "tag": "json example.json:XOR Test 1",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/example.json",
             "line": null
@@ -507,7 +507,7 @@
           "tag": "json example.json:XOR Test 2",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/example.json",
             "line": null
@@ -530,7 +530,7 @@
           "tag": "json example.json:Potato Test 1",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/basic/example.json",
             "line": null
diff --git a/integration-tests/projects/filter/Makefile b/integration-tests/projects/filter/Makefile
index 925b679f..b8d46f0a 100644
--- a/integration-tests/projects/filter/Makefile
+++ b/integration-tests/projects/filter/Makefile
@@ -11,6 +11,7 @@ THIS_TEST_ESCAPED:=$(subst /,\\/,$(THIS_TEST))
 
 html_report.html: cppcode.lobster requirements.lobster lobster.conf json.lobster
 	@lobster-report
+	@lobster-online-report
 	@cp report.lobster report.reference_output
 	@lobster-html-report
 
diff --git a/integration-tests/projects/filter/report.reference_output b/integration-tests/projects/filter/report.reference_output
index 0085a7bd..45dd1038 100644
--- a/integration-tests/projects/filter/report.reference_output
+++ b/integration-tests/projects/filter/report.reference_output
@@ -11,7 +11,7 @@
           "tag": "req sysreq_example.lobster_example",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/sysreq_example.trlc",
             "line": 4
@@ -36,7 +36,7 @@
           "tag": "req sysreq_example.req_implication",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/sysreq_example.trlc",
             "line": 11
@@ -60,7 +60,7 @@
           "tag": "req sysreq_example.req_xor",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/sysreq_example.trlc",
             "line": 19
@@ -91,7 +91,7 @@
           "tag": "req softreq_example.req_implication",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/softreq_example.trlc",
             "line": 5
@@ -120,7 +120,7 @@
           "tag": "req softreq_example.req_xor",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/softreq_example.trlc",
             "line": 17
@@ -158,7 +158,7 @@
           "tag": "cpp foo.cpp:implication:3",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/foo.cpp",
             "line": 3
@@ -180,7 +180,7 @@
           "tag": "cpp foo.cpp:exclusive_or:9",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/foo.cpp",
             "line": 9
@@ -209,7 +209,7 @@
           "tag": "json test_example.json:Implication Test 1",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/test_example.json",
             "line": null
@@ -232,7 +232,7 @@
           "tag": "json test_example.json:Implication Test 2",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/test_example.json",
             "line": null
@@ -255,7 +255,7 @@
           "tag": "json test_example.json:XOR Test 1",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/test_example.json",
             "line": null
@@ -278,7 +278,7 @@
           "tag": "json test_example.json:XOR Test 2",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/test_example.json",
             "line": null
@@ -301,7 +301,7 @@
           "tag": "json test_example.json:XOR Test 3",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/test_example.json",
             "line": null
@@ -324,7 +324,7 @@
           "tag": "json test_example.json:XOR Test 4",
           "location": {
             "kind": "github",
-            "gh_root": "https://github.com/bmw-software-engineering/lobster",
+            "gh_root": "https://github.com/christophkloeffel/lobster",
             "commit": "main",
             "file": "integration-tests/projects/filter/test_example.json",
             "line": null