SMT Operator in Windsor | ApplyBoost