--output-space fails

[mechtaev]

--output-space fails on demo with the following output:

[2018-Jun-08 06:41:54.255232] [info]    building project and inferring compile commands
[2018-Jun-08 06:41:54.255309] [info]    using existing compilation database (compile_commands.json)
[2018-Jun-08 06:41:54.289013] [info]    localizing suspicious files
[2018-Jun-08 06:41:54.328499] [info]    number of localized files: 1
[2018-Jun-08 06:41:54.328657] [info]    instrumenting source files for profiling
[2018-Jun-08 06:41:54.636968] [info]    building project with f1x runtime
[2018-Jun-08 06:41:54.684777] [info]    profiling project
[2018-Jun-08 06:41:54.689071] [info]    number of positive tests: 0
[2018-Jun-08 06:41:54.689129] [info]    number of negative tests: 1
[2018-Jun-08 06:41:54.689146] [info]    negative tests: [long]
[2018-Jun-08 06:41:54.689209] [info]    number of locations: 14
[2018-Jun-08 06:41:54.689248] [info]    applying transfomation schemas to source files
[2018-Jun-08 06:41:54.743339] [info]    generating search space
[2018-Jun-08 06:41:54.814127] [info]    search space size: 21835
[2018-Jun-08 06:41:54.814196] [info]    compiling analysis runtime
[2018-Jun-08 06:41:55.049587] [info]    building project with f1x runtime
[2018-Jun-08 06:41:55.097527] [info]    prioritizing search space
[2018-Jun-08 06:41:55.217851] [info]    dumping search space: "/home/ubuntu/demo/out.txt"
terminate called after throwing an instance of 'std::invalid_argument'
  what():  unsupported synthesis rule
Aborted