add mux locking algorithm
fixes regression since XOR BLIFs changed format