Added negation and also added python translation for not and negation