Indirection for inlining to prevent duplicate clauses being issued to Z3