min := IF a < b THEN a ELSE b FI;