Showed in simmer.py that forward and reverse closure are properly computed.