Constraint-Based Verification of a Mobile App Game Designed for