sepcomp: add option -direct-call-monomorph0 a less precise --direct-call-monomorph...