Basic optimizations for ambqi : only normalize UF applied to variables, direct handling of NOT