Fix bug in checktests script
due to which not every tested function was marked as such