Replacing modules control-bool and AC-Boolean with cond