++set explicit receiver kind properly for calls
improved the way to create explicit kind builder
simplified
variable as function call is safe
if one of variable or function calls is safe