allow OFTS for sys_to_spec; fix error when we get empty initial state