Implemented some Optimized Instructions
Added Constructions for NegativePredicate and Concatenation