Examining Painless Cappuccino Programs