Analyzer and Generator TODOs added for further implementation