Phase_transition shouldn't checkERC for solvers that don't have an ERC condition
Phase_transition shouldn't checkERC for solvers that don't have an ERC condition