Renamed the option type to result type; disabled symbolic computation on free variables; collected tests into a list