More precise type branch (not been tested yet)
Adhere to pointer type as integer rule.