package Ġabstract Inter pretation . SS A Inter pretation Ċ Ċ import Ġabstract Inter pretation . Bool Like Ċ Ċ class ĠSS AB ool ( id Ġ: ĠInt ) Ġ: ĠS SA Variable ( id ), ĠBool Like < SS AB ool > Ġ{ ĊĊĠĠĠ Ġcompanion Ġobject Ġ{ ĊĠĠĠĠĠĠĠ Ġfun Ġnew ( value : ĠBoolean ): ĠSS AB ool Ġ{ ĊĠĠĠĠĠĠĠĠĠĠĠ Ġreturn ( SS AB ool ( SS AC ode . add Instruction ( SS A Operation . NEW BOOL , Ġvalue ))) ĊĠĠĠĠĠĠĠ Ġ} ĊĠĠĠ Ġ} Ċ Ċ }