invoke

operator fun invoke(solver: Solver, name: String, smtName: String, origin: Element, invariant: BooleanFormula? = null): VarInfo