Constraint-Based Verification of a Mobile App Game Designed for Nudging People to Attend Cancer Screening.