Added to semantics tests
Added power and not equal
Added tests for power