Cleaned program model