Using Reward Machines for Offline Reinforcement Learning With Non-Markovian Reward Functions | Synapse