Added TODO to prototype_checker.pl