Added non-strict FL interpreter.