bugfix: objref of a parameter is not a sink
fixed a null pointer bug
fixed bug with this flows