prepare variable-free programs for smodels
