satgen import sigbit api
sat encoding for exclusive $pmux ctrl inputs in "share" pass