invoke

operator fun invoke( solver: Solver, name: String, smtName: String, type: Type?, element: Element?, thisFromConstructor: Boolean = false): ParamInfo