commented out all_supported in strings for now, it has a bug here.
Merge branch 'master' of https://github.com/CVC4/CVC4