PR #123: Mutation testing