Getters added in BoolExpr classes