Logging for SMTLib prover
Let attributes live on during inlining