Fixed handling of different signedness in power operands
More undef-propagation related fixes