fixed test_fmi: expect !solve(ctx)
fixed test_fmi: expect !solve(ctx)

nbruns1/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,hoangmle/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,hoangmle/metaSMT,finnhaedicke/metaSMT,agra-uni-bremen/metaSMT,agra-uni-bremen/metaSMT,nbruns1/metaSMT,finnhaedicke/metaSMT