included calls in expr checking