a : int = 1
{
    a <=> 1
    a : int = a + a
    a <=> 2
}
a <=> 1

{
    a = 2
    a : int = 1
}
a <=> 2