PrettyPrint: mixing // and /*..*/ style comments can lead to corrupted user definitions

[CarlosFigueiraMSFT]

If we try to pretty print those user definitions:

MyNF // My Named Formula
    = Pi()/2;

The body (= Pi()/2) will be added after the // My Named Formula comment, which turns it into an erroneous expression

Test file: FormatterTests.cs; test method: TestUserDefinitionsPrettyPrint

[InlineData("MyNF // My Named Formula\n    = Pi()/2;", "MyNF // My Named Formula\n    = Pi() / 2;")]