forward assertions setting into backend, and use it to check for invalid # of args in static calls