rene tassy: statement checker done