card init prop bug + flatzinc-tclap