annotations processing fixed; todo: remove loggin in RuntimeTypechecker