FIX: assert local variables (not function calls)