Disabling detection of truncation and signedness bugs

[sunbeomso]

Is it possible to disable the detection of truncation and signedness bugs in Osiris? That is, I would like to use Osiris for detecting only integer over/underflows and division by zeros.

Is it provided by an option currently? (maybe the option "-m"?)
If yes, can you give me some examples?

[sunbeomso]

In addition, I wonder whether it is possible to specify a "root" contract in Osiris; although multiple contracts may exist in a single solidity file, only one root contract exits.