loosened minimum in instance generation
bugfix, every step needs a predecessor
parameterized movement constraints
added minotaur's movement, but just for one step