check size of support before calling blackbox solver in C to PHC interface