Sign-extension related fixes in SatGen and AST frontend