Function contain 

fn contain(e: &Expr, check_map: &HashMap<String, Expr>) -> bool

check whether the expression uses the columns in check_map.