refactor be_a_complete_translation_of matcher