Removed depreicated class org.kframework.kil.Constant.