added suport to mathsat and altergo aalthough some parts are still giving trouble