let demod s goal =
let bag,maxvar,actives,passives,g_actives,g_passives = s in
let (bag,maxvar), g = mk_goal (bag,maxvar) goal in
let demod s goal =
let bag,maxvar,actives,passives,g_actives,g_passives = s in
let (bag,maxvar), g = mk_goal (bag,maxvar) goal in