BUGFIX: SYSGOAL:; implies SYSGOAL:[]<>True; fixes issue #10