CRT-251 formal test