skip minimization for now to make debugging easier, should parametrize this somehow