reenable assertions

Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>
simplify find_min

codestyle

Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>
Consider open interval when finding min

Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>
Improve comment

Signed-off-by: Jan Vesely <jan.vesely@rutgers.edu>