[BUGFIX] matches(x) instead of eq(x) in contract.rb
fix visit / visit lines migrations
regenerate dumps
fix steps