removed source file pragma
removed *_not predicates, using std_util.isnt instead
fixed unbalanced brackets