First version of symbolic strategy extractor