Kodkod Bug with Card Operator

In the current version of ProB no solution is found, because the translation to Kodkod fails (which is much better than providing a false solution):
>>> :kodkod args={1,2,3} & atts : args <-> args & dom(atts) = args & x = card(atts)&x < 2
kodkod fail: args = {1,2,3} & atts : args <-> args & dom(atts) ... , reason: integer without upper and lower bound in: card(atts) while extracting used types
Existentially Quantified Predicate over args,atts,x is FALSE

SUCCESS: Integrated in Jenkins build ProB_Tests_Linux64_No_Parallel #22 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_No_Parallel/22/)
skip test 1308 and add test for Kodkod issue (leuschel: rev 2855624b57f10868f7943cd6c0366ca5ec76b6f9)

SUCCESS: Integrated in Jenkins build ProB_Tests_Linux64_On_Commit #2768 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64_On_Commit/2768/)
skip test 1308 and add test for Kodkod issue (leuschel: rev 2855624b57f10868f7943cd6c0366ca5ec76b6f9)

SUCCESS: Integrated in Jenkins build ProB_Tests_Linux64 #9847 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_Linux64/9847/)
skip test 1308 and add test for Kodkod issue (leuschel: rev 2855624b57f10868f7943cd6c0366ca5ec76b6f9)

SUCCESS: Integrated in Jenkins build ProB_Tests_SMT_Solvers #513 (See http://cobra.cs.uni-duesseldorf.de/jenkins/job/ProB_Tests_SMT_Solvers/513/)
skip test 1308 and add test for Kodkod issue (leuschel: rev 2855624b57f10868f7943cd6c0366ca5ec76b6f9)