forward assertions setting into backend, and test checking for invalid # of args in static calls