sophia: add coverage tests