Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
exit()
#print('renamed program ')
rpg = ren.Rename(pg,pop.EmptySet)
#prp.Termln(rpg)
fpg = ewh.Eprogram(rpg)
#print('flattened program')
#prp.Termln(fpg)
atab,ftab, ypg = ali.ActualTable(rpg,map.EmptyMap,map.EmptyMap)
#print('alified program')
#prp.Termln(ypg);
defs = ali.ActualDefs(atab,ftab)
subj,body = exp.WhereD(ypg)
body = pop.Append(body,defs) #add ali defs
ypg = exp.WhereC(subj,body)
#print('globalized program')
ypg = glb.Gprogram(ypg)
#prp.Termln(ypg)
#print('reflattend program')
ypg = ewh.Eprogram(ypg)
#prp.Termln(ypg)
#print('atomized program')
apg,dfs = atz.Aexpr(ypg)
#prp.Termln(apg)
return apg