SMT Operator in windsor | ApplyBoost