statically evaluatable call has an additional guard for convert expressions