Basic compiler with ivar assignment check