Refinement is_simulation == False not satisfied in is_simulation: bool where {is_simulation == True}
