Function is_true 

pub fn is_true(expr: Expr) -> Expr

Create is true expression