Fixed empty paramlists and outputs.
Fixed empty paramlists and outputs (again) and handled undefined call results correctly.
Added two random tests written by a shark.