adding print util
writing optimizer for $not op