Optimalization and few adjustments

Optimalized union computation
Optimalized intersection computation
Optimalized simulation relation computation
Separated translation functions