Update SMTCOMP script to handle all quantified logics.