Cleaning up STP.h
Fixing a python API bug

I think this is the correct fix. If there are no expressions given, we
cannot AND them and then negate them. We simply pass TRUE to the system
Adding a check for newly fixed python API bug
Fixing the fix to the python API
Putting some asserts into the C API

It _will_ fail if this function is called with 0 parameters.