Added support for composition via minimization.
Just tested for now... not integrated yet
Tests added
Minimizer sh added