more steps to run on solver test case (for commands 'se' and 'in')