change last commit to check for SOLVER_TRANSACTION_KEEP_PSEUDO