Hello Ter, This is fantastic that you added these extra checks to detect the insufficiently covered predicates. The latest pre-release is awesome, it seems to handle everything I throw at it. Well, apart from -debug, but who needs that :-). Its great, thanks a lot. Regards, Mark --