startet with result merging and first constraints for operators
removed aterm file