Dodan še začetek simplify za AND.