AST generator: take into account some parameter constraints early on