regionck: check for error fn tys
change duplicate message supression strategy
update tests