anchor.diff:  	    B = cerl:is_c_atom(C) andalso
   		is_boolean(cerl:atom_val(C)),
   	    yes_no(B)
  +    end.
  +
  +-spec is_int_type(cerl:cerl(), sub()) -> yes_no_maybe().
  +
  +is_int_type(Var, Sub) ->
  +    case get_type(Var, Sub) of
  +	none -> maybe;
  +	C -> yes_no(cerl:is_c_int(C))
  +    end.
  +
  +-spec is_tuple_type(cerl:cerl(), sub()) -> yes_no_maybe().
  +
  +is_tuple_type(Var, Sub) ->
  +    case get_type(Var, Sub) of
  +	none -> maybe;
  +	C -> yes_no(cerl:is_c_tuple(C))
       end.
   
   yes_no(true) -> yes;
  
positive.code: 		    eval_failure(Call, badarg)
  	    end
      end;
  eval_element(Call, Pos, Tuple, _Types) ->
      case is_not_integer(Pos) orelse is_not_tuple(Tuple) of
  	true ->
  	    eval_failure(Call, badarg);
  	false ->
  
negative.code: 	    end
      end;
  eval_is_record(Call, _, _, _, _) -> Call.
  
  %% eval_setelement(Call, Pos, Tuple, NewVal) -> Core.
  %%  Evaluates setelement/3 if position Pos is an integer
  