Symbol: SOLVER_TRANSACTION_KEEP_PSEUDO