refactoring by moving methods from Choreography to Checker