This page has moved to /l4/reference/functions/DECIDE#several-clauses.