Added option to use SEQ mg to generate answer sets