More detailed license
Add a SyntaxEquivalence class

Inspired by the one in the Roslyn source (The code can't be the same
as we don't see the Green tree and must act on the Red one)
Use a better potential ternary operator

It now support variable assignments

(But the replacement of the case where there is no "else" is still
buggy)