namespace HeuristicLab.Problems.ProgramSynthesis.Push.SolutionCreator {
  public class PushSolutionEncoding {
    public const int Noop = -1;
    public const int Erc = -2;
    public const int In = -3;
    public const int End = -4;
  }
}