dsl-samples/tutorial/part1a/ProseTutorial/synthesis/WitnessFunctions.cs (3 lines):
	- line 42: //TODO uncomment the following code fragment to complete this witness function//
	- line 61: //TODO Complete this witness function//
	- line 79: //TODO uncomment the following code fragment to complete this witness function//


dsl-samples/tutorial/part1b-attempt1/ProseTutorial/synthesis/WitnessFunctions.cs (2 lines):
	- line 40: //TODO replace the following line by the commented out for-loop bellow where we identify all start positions
	- line 65: //TODO replace the following line by a for-loop where we identify all end positions


misc/CCSynth/CC/DataInsights/src/prose/datainsights/_assertion/_pca_assertions.py (1 line):
	- line 14: # TODO: these constants should preferably be computed based on the data means in future.


dsl-samples/tutorial/part1c/ProseTutorial/synthesis/WitnessFunctions.cs (1 line):
	- line 72: // TODO add the negative spec for k


dsl-samples/tutorial/part1b-attempt2/ProseTutorial/synthesis/WitnessFunctions.cs (1 line):
	- line 59: //TODO given the spec on the start position, write a spec on the end position


dsl-samples/tutorial/part1c/ProseTutorial/synthesis/Semantics.cs (1 line):
	- line 12: // TODO update the return statement to consider the case where k is a negative number


dsl-samples/tutorial/part1d/ProseTutorial/synthesis/RankingScore.cs (1 line):
	- line 31: //TODO update the following ranking function


dsl-samples/tutorial/part2b/ProseTutorial/synthesis/RankingScore.cs (1 line):
	- line 39: //TODO update this ranking function to produce a higher value than the ones in AbsPos.