Add the pattern matching in "code.oz"