public SNode getSubOrSuperType(
     SNode ct, TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   return _quotation_createNode_832k9i_a0a0(
       ((SNode) status.getPattern().getFieldValue("patternVar_ELEMENT")));
 }
 public SNode getSubOrSuperType(
     SNode set, TypeCheckingContext typeCheckingContext, IsApplicableStatus status) {
   return _quotation_createNode_5z9xz6_a0a2(
       ((SNode) status.getPattern().getFieldValue("patternVar_elementType")));
 }