CFG types of vars 4Java