Separating SHARP from D-FLAT. Now SHARP is used (without any special extensions) as an external library merely for decomposition