Add assertions about arguments of internal functions