added new function to dreamcatcher.core. reach-state tries to reach input state from current state of STM instance