Conditional Methods for the Ecstasy language