improve testing for statically incorrect calls