Using automated reasoning to explore the metabolism of unconventional organisms: a first step to explore host–microbial interactions. (7th May 2020)