public function renderOpening() { $out = 'Mutagenesis: Mutation Testing for PHP' . PHP_EOL . PHP_EOL; return $out; }