Minor question: Some non-error normal output is output into stderr instead of stdout

[5nizza]

When the spec is realisable, the tool outputs the result into stderr instead of stdout.
Should it be std::cout instead of std::cerr? It seems as a normal-operation output, not an error. Unless it is by convention.
(when checking the tool performed as expected I check that stderr is empty; here it is not.)

extensionInteractiveStrategy.hpp
56:            std::cerr << "RESULT: Specification is realizable.\n";

extensionNondeterministicMotion.hpp
496:            std::cerr << "RESULT: Specification is realizable.\n";

synthesisContextBasics.cpp
112:        std::cerr << "RESULT: Specification is realizable.\n";

[progirep]

Hi Ayrat.

Good point, but there is a reason. Only the computed strategy is output to STDOUT to allow it to be redirected to a file. Otherwise, the strategy file would have a stray "RESULT: Specification is realizable" at the top.