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

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