Behaviour tests for codeFormatter.php