Program schemas with equality