Fixing some overflow(?) bug indicated by valgrind
Fixing getting zero-decision assigned vars

Some bva vars were returned as zero-level vars
Clause parsing is nicer now