On automatic verification of self-stabilizing population protocols