public static Term defaultTerm(Term v, org.kframework.kil.loader.Context context) { String sort = v.getSort(); KSort ksort = KSort.getKSort(sort).mainSort(); if (ksort.isDefaultable()) return new Empty(ksort.toString()); GlobalSettings.kem.register( new KException( ExceptionType.WARNING, KExceptionGroup.COMPILER, "Don't know the default value for term " + v.toString() + ". Assuming .K", v.getFilename(), v.getLocation())); return KSequence.EMPTY; }