namespace HeuristicLab.Problems.ProgramSynthesis.Push.Solution { using HeuristicLab.Core; public interface IPushSolution : IItem { } }