static analysis of parameters (no refinement)