Don't test Lt(0,x) vs "0 < x" b/c of python parsing of latter

thanks @Tempel
fix to raises code: needed lambdas