FIX: issue #384 (Interpreter sets refinements)