Back out of IfCat
move HasIf to Circat.If
move HasIf to Circat.If
"condBool" --> "mux"