watch out for 'case' constant canditates whose general type is 'a (e.g. 'undefined')
watch out for 'case' constant canditates whose general type is 'a (e.g. 'undefined')

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle