tosem: Add may-only encoding generation option to EcoreMAVOToSMTLIB