Use Representation.Program instead of Frontend.Prog.